Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15 grudnia 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 695,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 21 sie
Otrzymuj powiadomienia o nowych wydawnictwach B. Berard

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 15 grudnia 2010
ISBN13 9783642074783
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 190
Wymiary 233 × 157 × 18 mm   ·   328 g
Język Niemiecki  
Tłumacz McKenzie, P.

Więcej od tego samego wydawcy

Zobacz wszystko od B. Berard ( np. Hardcover Book i Paperback Book )