Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers
Edición de la obra Specifying systems
| Autor | Leslie Lamport |
|---|---|
| Editorial | Addison-Wesley Professional |
| Fecha de publicación | July 19, 2002 |
| Idioma | inglés |
| Páginas | 384 |
| Formato | Paperback |
| ISBN-13 | 9780321143068 |
| ISBN-10 | 032114306X |
| Número de Cutter | L238s |