Temporal Verification of Reactive Systems: Safety Buy on Amazon
Facebook LinkedIn

Temporal Verification of Reactive Systems: Safety

Author Zohar Manna, Amir Pnueli
Publisher Springer
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
166.43 USD
Buy New on Amazon 🇺🇸
Book Details
Author(s) Zohar Manna, Amir Pnueli
Publisher Springer
ISBN / ASIN 0387944591
ISBN-13 9780387944593
Marketplace United States 🇺🇸
Donate to EbookNetworking
Prev
Next