Home › Books › Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety Buy on Amazon

https://www.ebooknetworking.net/books_detail-0387944591.html

Temporal Verification of Reactive Systems: Safety

AuthorZohar Manna, Amir Pnueli
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
166.43 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Zohar Manna, Amir Pnueli
PublisherSpringer
ISBN / ASIN0387944591
ISBN-139780387944593
MarketplaceUnited States  🇺🇸

More Books by Zohar Manna, Amir Pnueli

The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems:…
View
The Temporal Logic of Reactive and Concurrent Systems: Specification
The Temporal Logic of Reactive and Concurrent Systems:…
View
Donate to EbookNetworking
Prev
Next