Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Hardc
141,80 €
By Zohar Manna, Amir Pnueli. All researchers and students interested in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems.
Jetzt bei Ebay:
