Formal Methods: A History
2003·ensayo
Este libro traza la evolución de los métodos formales en la ingeniería de software, técnicas matemáticas para la especificación, desarrollo y verificación de sistemas de software y hardware.
británico
John Barnes es un autor británico conocido por su destacada contribución al género de la ciencia ficción, así como por su prosa innovadora y sus exploraciones temáticas sobre la identidad y la sociedad. Su obra más famosa incluye 'El germen de la locura', que ha sido altamente influyente en el desarrollo de la ciencia ficción moderna.
2003·ensayo
Este libro traza la evolución de los métodos formales en la ingeniería de software, técnicas matemáticas para la especificación, desarrollo y verificación de sistemas de software y hardware.
Aparecen junto a John Barnes en búsquedas del archivo