Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - Leslie Lamport - Books - Pearson Education (US) - 9780321143068 - August 20, 2002
In case cover and title do not match, the title is correct

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1st edition

Leslie Lamport

Price
Mex$ 882

Ordered from remote warehouse

Expected delivery Jul 25 - Aug 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1st edition

TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.

384 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 20, 2002
ISBN13 9780321143068
Publishers Pearson Education (US)
Pages 384
Dimensions 233 × 186 × 28 mm   ·   688 g
Language English  

See all of Leslie Lamport ( e.g. Paperback Book )