Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 2010. gada 15. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Cena
€ 142,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 4. - 12. jūn.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Pieejams arī kā:

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 algorithms.

202 pages, 4 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 15. decembris
ISBN13 9783642074783
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 190
Izmēri 233 × 157 × 18 mm   ·   328 g
Valoda Vācu  
Tulks McKenzie, P.

Skatīt visus B. Berard ( piem., Hardcover Book un Paperback Book )