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!
Descripción
Descripción Física:213 s
ISBN:0-7923-9653-7