Software Abstractions
Logic, Language, and Analysis
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
Specificaties
| ISBN/EAN | 9780262528900 |
| Auteur | Jackson, Daniel (Massachusetts Institute of Technology) |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 376 |
| Lengte | 229.0 mm |
| Breedte | 153.0 mm |