Carregant...

Formal specification and software development

Dades bibliogràfiques
Autor principal: Bjorner, Diner
Altres autors: Jones, Cliff B.
Format: Printed Book
Idioma:English
Publicat: New Jersy Prentice-hall international 1982
Col·lecció:Printice-Hall International series in computer science
Matèries:

UL

Detall dels fons de UL
Signatura: 004.414.38 BJO
Còpia Comprovació en temps real no disponible