Description: The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna, Zohar; Pnueli, Amir May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
Price: 31.2 USD
Location: Aurora, Illinois
End Time: 2024-11-06T05:45:59.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Binding: Hardcover
Weight: 1 lbs
Product Group: Book
IsTextBook: Yes
Number of Pages: Xiv, 427 Pages
Publication Name: Temporal Logic of Reactive Systems Vol. 1 : Specification
Language: English
Publisher: Springer New York
Subject: Programming / General, Systems Architecture / General, Networking / General, Computer Science, Logic
Publication Year: 1991
Type: Textbook
Item Weight: 62.4 Oz
Subject Area: Mathematics, Computers
Item Length: 9.3 in
Author: Amir Pnueli, Zohar Manna
Item Width: 6.1 in
Format: Hardcover
