Software Abstractions: Logic, Language, and Analysis
por Daniel Jackson · 2011
Sinopsis
Este libro presenta un enfoque de diseño de software que se basa en métodos formales ligeros y herramientas automatizadas para encontrar fallos tempranos, utilizando el lenguaje Alloy, creado por el autor.
Sé el primero en valorar este libro.
Más de Daniel Jackson
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda