Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Otros - Macmillan Education UK - 9780333992814 - 9 de septiembre de 2003
En caso de que portada y título no coincidan, el título será el correcto

Formal Software Development From VDM to Java - From VDM to Java


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.


256 pages, index

Medios de comunicación Otros     N/A   (Formato desconocido)
Publicado 9 de septiembre de 2003
ISBN13 9780333992814
Etiqueta Macmillan Education UK
Páginas 256
Dimensiones 246 × 191 × 15 mm   ·   385 g

Mas por Quentin Charatan

Mostrar todo