Formal specification and software development

Bibliografske podrobnosti
Glavni avtor: Bjorner, Diner
Drugi avtorji: Jones, Cliff B.
Format: Printed Book
Jezik:English
Izdano: New Jersy Prentice-hall international 1982
Serija:Printice-Hall International series in computer science
Teme:
Microprogramming > Computer science > Computer system
Opis
Fizični opis:x,501p.
ISBN:0133290034

Podobne knjige/članki