Algopix Logo
Low Inventory

The Temporal Logic of Reactive and Concurrent Systems: Specification

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Product Information

  • Used Book in Good Condition

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
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account
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.