Formal Specification Techniques for Engineering Modular C Programs /

Guardado en:
Detalles Bibliográficos
Autor principal: Kan, Yang Meng (Autor)
Formato: Libro
Lenguaje:inglés
Publicado: Boston : KAP, 1996
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!