Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport (2002, Trade Paperback)
Rarewaves Outlet (1426160)
98.2% positive feedback
Price:
AU $74.61
ApproximatelyRM 206.65
+ $2.99 shipping
Returns:
No returns, but backed by .
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherAddison Wesley Professional
ISBN-10032114306X
ISBN-139780321143068
eBay Product ID (ePID)94422391
Product Key Features
Number of Pages384 Pages
LanguageEnglish
Publication NameSpecifying Systems : the Tla+ Language and Tools for Hardware and Software Engineers
SubjectSoftware Development & Engineering / General, Programming / Parallel, Logic, Software Development & Engineering / Systems Analysis & Design
Publication Year2002
TypeTextbook
Subject AreaComputers, Mathematics
AuthorLeslie Lamport
FormatTrade Paperback
Dimensions
Item Height0.7 in
Item Weight22.4 Oz
Item Length9.2 in
Item Width7.4 in
Additional Product Features
Intended AudienceScholarly & Professional
Be the first to write a review
