Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Libros - MIT Press Ltd - 9780262017152 - 4 de noviembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Jackson, Daniel (Massachusetts Institute of Technology)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 4 de noviembre de 2011
ISBN13 9780262017152
Editores MIT Press Ltd
Páginas 376
Dimensiones 234 × 161 × 24 mm   ·   630 g

Mas por Jackson, Daniel (Massachusetts Institute of Technology)

Mostrar todo

Más del mismo editor

Ver todo de Jackson, Daniel (Massachusetts Institute of Technology) ( Ej. Hardcover Book y Paperback Book )