Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers
TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.
Specificaties
| ISBN/EAN | 9780321143068 |
| Auteur | Lamport, Leslie |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 384 |
| Lengte | |
| Breedte |