
Conte aos seus amigos sobre este item:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1th edição
Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers 1th edição
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 | English |
Ver tudo de Leslie Lamport ( por exemplo Paperback Book )