A carregar...

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
Colecção:Printice-Hall International series in computer science
Assuntos:

UL

Detalhes do Exemplar UL
Área/Cota: 004.414.38 BJO
Cód. Barras: Informação em tempo real indisponível