Description: Specifying Systems: The TLA+ Language and Tools for Hardware and Software - GOOD Product Id:032114306X Condition:USED_GOOD Notes:Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc...
Price: 25.78 USD
Location: Montgomery, Illinois
End Time: 2024-09-22T06:38:31.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
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:
Brand: Unbranded
Book Title: Specifying Systems: The TLA+ Language and Tools for Hardware and
MPN: Does not apply
Item Length: 9.1in
Item Height: 0.9in
Item Width: 7.3in
Author: Leslie Lamport
Publication Name: Specifying Systems : the Tla+ Language and Tools for Hardware and Software Engineers
Format: Trade Paperback
Language: English
Publisher: Addison Wesley Professional
Publication Year: 2002
Type: Textbook
Item Weight: 21.6 Oz
Number of Pages: 384 Pages
