Description: Note: Any images shown are stock photographs and product may differ from what is shown. You are purchasing a Good copy of 'Temporal Verification of Reactive Systems: Safety'Condition Notes: Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can included some highlighting and writing, page and cover creases as well as other types visible wear.
Price: 27.87 USD
Location: San Jose, California
End Time: 2024-11-27T17:01:40.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Release Year: 1995
Book Title: Temporal Verification of Reactive Systems: Safety
Number of Pages: Xviii, 512 Pages
Language: English
Publication Name: Temporal Verification of Reactive Systems : Safety
Publisher: Springer New York
Subject: Software Development & Engineering / Quality Assurance & Testing, Computer Science
Item Height: 0.5 in
Publication Year: 1995
Type: Textbook
Item Weight: 72 Oz
Subject Area: Computers
Author: Amir Pnueli, Zohar Manna
Item Length: 10 in
Item Width: 7 in
Format: Hardcover
