topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 2
 |
Modal and Temporal Properties of Processes
ISBN: 9781441931535 / Angielski / Miękka / 2011 / 191 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
cena:
201,72 zł |
 |
Modal and Temporal Properties of Processes
ISBN: 9780387987170 / Angielski / Twarda / 2001 / 191 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
cena:
201,72 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
