Specifying Systems : The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport (2002, Trade Paperback)

bookaxis2015 (36301)
99.6% positive Feedback
Price:
£27.46
Free postage
Estimated delivery Fri, 25 Jul - Tue, 29 Jul
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
New

About this product

Product Identifiers

PublisherAddison Wesley Professional
ISBN-10032114306X
ISBN-139780321143068
eBay Product ID (ePID)86549521

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

All listings for this product

Buy it now
Any condition
New
Pre-owned
No ratings or reviews yet
Be the first to write a review