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

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools 2001 edition

Cena
zł 681,90

Zamówione z odległego magazynu

Przewidywana dostawa 20 sie - 3 wrz
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.

190 pages, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 20 czerwca 2001
ISBN13 9783540415237
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 190
Wymiary 166 × 242 × 24 mm   ·   412 g
Język Angielski   Niemiecki  
Tłumacz McKenzie, P.

Więcej od tego samego wydawcy

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