Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15. decembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 133,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 4. - 12. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 15. decembra 2010
ISBN13 9783642074783
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 190
Dimenzije 233 × 157 × 18 mm   ·   328 g
Jezik Nemščina  
Prevajalnik McKenzie, P.

Mere med samme udgiver

Ogled vseh B. Berard ( Na primer Paperback Book in Hardcover Book )