Cargando...

Formal specification and software development

Detalles Bibliográficos
Autor Principal: Bjorner, Diner
Outros autores: Jones, Cliff B.
Formato: Printed Book
Idioma:English
Publicado: New Jersy Prentice-hall international 1982
Series:Printice-Hall International series in computer science
Subjects:
Descripción
Descrición Física:x,501p.
ISBN:0133290034