Formal specification and software development

Detalles Bibliográficos
Autor principal: Bjorner, Diner
Otros Autores: Jones, Cliff B.
Formato: Printed Book
Lenguaje:English
Publicado: New Jersy Prentice-hall international 1982
Colección:Printice-Hall International series in computer science
Materias:
Microprogramming > Computer science > Computer system
Descripción
Descripción Física:x,501p.
ISBN:0133290034

Ejemplares similares