Software abstractions
logic, language and analysis
Edición de la obra Software abstractions
| Autor | Daniel Jackson |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2012 |
| Lugar | Cambridge, MA |
| Idioma | inglés |
| ISBN-13 | 9780262017152 |
| LCCN | 2011024317 |
| Número de Cutter | J12s |