Recomienda este artículo a tus amigos:
Software Abstractions: Logic, Language, and Analysis - The MIT Press Jackson, Daniel (Massachusetts Institute of Technology) Revised edition
Software Abstractions: Logic, Language, and Analysis - The MIT Press
Jackson, Daniel (Massachusetts Institute of Technology)
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
376 pages, 58 b&w illus.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de febrero de 2016 |
| ISBN13 | 9780262528900 |
| Editores | MIT Press Ltd |
| Páginas | 376 |
| Dimensiones | 231 × 154 × 23 mm · 498 g |
| Lengua | Inglés |