Description: payment | shipping rates | returns Temporal Verification of Reactive Systems: Safety Product Category : Books ISBN : 9780387944593 Title : Temporal Verification of Reactive Systems: Safety EAN : 9780387944593 Authors : Manna, Zohar,Pnueli, Amir Binding : hardcover Publisher : Springer Publication Date : 8/4/1995 12:00:01 AM Pages : 530 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 109.99 Height : 1.4567 inches Width : 6.3386 inches Length : 9.4488 inches Weight : 2.1253 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: 25.76 USD
Location: Carrollton, Texas
End Time: 2024-10-12T18:12:07.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: Temporal Verification of Reactive Systems: Safety
Number of Pages: Xviii, 512 Pages
Publication Name: Temporal Verification of Reactive Systems : Safety
Language: English
Publisher: Springer New York
Publication Year: 1995
Item Height: 0.5 in
Subject: Software Development & Engineering / Quality Assurance & Testing, Computer Science
Item Weight: 72 Oz
Type: Textbook
Item Length: 10 in
Author: Amir Pnueli, Zohar Manna
Subject Area: Computers
Item Width: 7 in
Format: Hardcover