Home › Books › The Temporal Logic of Reactive and Concurrent Systems: Spec…
The Temporal Logic of Reactive and Concurrent Systems: Specification Buy on Amazon

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

The Temporal Logic of Reactive and Concurrent Systems: Specification

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

Book Details

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

More Books by Zohar Manna, Amir Pnueli

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