Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Książki - MIT Press Ltd - 9780262026499 - 25 kwietnia 2008
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Principles of Model Checking - Principles of Model Checking

Baier, Christel (Technische Universitat Dresden)

Cena
zł 446,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 16 kwi
Dodaj do swojej listy życzeń iMusic

Principles of Model Checking - Principles of Model Checking

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.


984 pages, illus.

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 25 kwietnia 2008
ISBN13 9780262026499
Wydawcy MIT Press Ltd
Strony 984
Wymiary 206 × 258 × 42 mm   ·   2,09 kg