Recomienda este artículo a tus amigos:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Leslie Lamport 1.º edición
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de agosto de 2002 |
| ISBN13 | 9780321143068 |
| Editores | Pearson Education (US) |
| Páginas | 384 |
| Dimensiones | 233 × 186 × 28 mm · 688 g |
| Lengua | Inglés |
Mas por Leslie Lamport
Mostrar todoMere med samme udgiver
Ver todo de Leslie Lamport ( Ej. Paperback Book y Hardcover Book )