The Temporal Logic of Reactive and Concurrent Systems Specification
by Zohar Manna, Amir Pnueli
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 15-Dec-1991 |
| ISBN-10: | 0387976647 |
| ISBN-13: | 9780387976648 |
| Binding Type: | Hardback |
| Weight: | 2.03 lbs |
| Pages: | pp. 448, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L |
The Title "The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition" is written by Zohar Manna. This book was published in the year 1991. The ISBN number 0387976647|9780387976648 is assigned to the Hardback version of this title. This book also comes in Paperback . The book displayed here is a 1st Edition edition. This book has total of pp. xiv + 448 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition is currently Available with us.