Verificarea sistemelor și a software-ului (engleză)

· Springer-Verlag Berlin and Heidelberg GmbH & Co. KG · 2010 · moale · 190 pagini

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Vom trimite întreaga comandă într-un singur colet pentru 1 taxă poștală!

3 515,41 lei

Preț mai mic cu 3 % față de prețul recomandat

Preț normal 3 610,26 lei

Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.

Descriere
Detalii

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking... citește totul

Editură: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cod:
Anul publicării: 2010
Limba: Engleză
Legarea: Moale
Număr de pagini: 190
Lățimea ambalajului: 23.3 cm
Înălțimea ambalajului: 15.7 cm
Adâncimea ambalajului: 1.8 cm
Greutatea ambalajului: 328 g