Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport
Addison-Wesley Professional
2002
384 páginas
12h 48m
ISBN-13: 9780321143068
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%