Specifying Systems
Leslie Lamport
Pearson Education (US), 2002
53,95 €On orderDelivery: 2-3 weeks
TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
- ISBN-13
- 9780321143068
- ISBN-10
- 032114306X
- Publisher
- Pearson Education (US)
- Year
- 2002
- Publication date
- 2002-08-20
- Pages
- 384
- Dimensions
- 186x233x28
- Weight
- 688