Description: payment | shipping rates | returns The Temporal Logic of Reactive and Concurrent Systems: Specification Product Category : Books ISBN : 9780387976648 Title : The Temporal Logic of Reactive and Concurrent Systems: Specification EAN : 9780387976648 Authors : Pnueli, Amir,Manna, Zohar Binding : Hardcover Publisher : Springer Publication Date : 1991-12-18 Pages : 441 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 139.99 Height : 1.1811 inches Width : 6.2205 inches Length : 9.2913 inches Weight : 1.7200 pounds Condition : Good About hpb-red Selling quality books and media since 1972. Customer service is our top priority! Payment We accept several payment types. They are shown above. Shipping Please click the "Shipping and Payments" tab above for details. Returns Your satisfaction is very important to us. Please contact us via the methods available within eBay regarding any problems before leaving negative feedback. You have 60 days from purchase to request a refund. © 2024 hpb-red
Price: 29.5 USD
Location: Carrollton, Texas
End Time: 2024-11-10T04:42:20.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 60 Days
Refund will be given as: Money Back
Book Title: The Temporal Logic of Reactive and Concurrent Systems: Specificat
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
