Formal Specification of Software
por Luis Alberto Galindo · 2005
Ver sugerenciasSinopsis
Este libro aborda los fundamentos y técnicas de la especificación formal en el desarrollo de software, utilizando métodos matemáticos para describir y verificar sistemas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.