Conte aos seus amigos sobre este item:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Leslie Lamport 1º edição
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 20 de agosto de 2002 |
| ISBN13 | 9780321143068 |
| Editoras | Pearson Education (US) |
| Páginas | 384 |
| Dimensões | 233 × 186 × 28 mm · 688 g |
| Idioma | Inglês |