Software abstractions
logic, language and analysis
Edición de la obra Software abstractions
| Autor | Daniel Jackson |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2006 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| ISBN-10 | 0262101149 |
| LCCN | 2005056155 |
| Número de Cutter | J12s |