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:
Microprogramming > Computer science > Computer system
Descripció
Descripció física:x,501p.
ISBN:0133290034

Ítems similars