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 |
| Páginas | 350 |
| ISBN-13 | 9780262101141 |
| ISBN-10 | 0262101149, 0262101159 |
| OCLC | 62282491 |
| LCCN | 2005056155 |
| Número de Cutter | J12s |