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

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

Price
$ 44.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

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  

More by Leslie Lamport

Show all

Mere med samme udgiver

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