Vertel uw vrienden over dit artikel:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Leslie Lamport 1e uitgave
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 20 augustus 2002 |
| ISBN13 | 9780321143068 |
| Uitgevers | Pearson Education (US) |
| Pagina's | 384 |
| Afmetingen | 233 × 186 × 28 mm · 688 g |
| Taal en grammatica | Engels |