Povej prijatelju o tem izdelku:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Leslie Lamport 1. izdaja
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport
TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
384 pages
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 20. avgusta 2002 |
| ISBN13 | 9780321143068 |
| Založniki | Pearson Education (US) |
| Strani | 384 |
| Dimenzije | 233 × 186 × 28 mm · 688 g |
| Jezik | Angleščina |