Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Paper
122,09 €
By Zohar Manna, Amir Pnueli. This book is about the verification of reactive systems. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial.
Jetzt bei Ebay:
![Produktbild - The Zohar 1932 By Ariel Bension [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/t-oAAOSw~pJmn56b/s-l140.jpg)
![Produktbild - The Zohar 1932 By Ariel Bension [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/nGEAAOSwJ2Zmn55z/s-l140.jpg)
