The Temporal Logic of Reactive and Concurrent Systems: Specification
Marketplace
Price
Low Inventory
Attributes
Part Number
black & white illustrations
Release Date
Oct 17, 2012
Authors
Manna, Zohar, Pnueli, Amir
Edition
Softcover reprint of the original 1st ed. 1992
Genre
Expert systems
Label
Springer
Content Languages
[object Object], [object Object], [object Object]
Number Of Items
1
Number Of Pages
441
Publication Date
2012-10-17
Publisher
Springer
Studio
Springer
Lang
en-US
Adult Product
No
Product Identifiers
AIDAlgopix unique identifier
AID9J6F16001
Copied!
ASIN
As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.