Formal specification and software development

Detalhes bibliográficos
Autor principal: Bjorner, Diner
Outros Autores: Jones, Cliff B.
Formato: Printed Book
Idioma:English
Publicado em: New Jersy Prentice-hall international 1982
coleção:Printice-Hall International series in computer science
Assuntos:
Microprogramming > Computer science > Computer system
Descrição
Descrição Física:x,501p.
ISBN:0133290034

Registros relacionados