Formal specification and software development

Dettagli Bibliografici
Autore principale: Bjorner, Diner
Altri autori: Jones, Cliff B.
Natura: Printed Book
Lingua:English
Pubblicazione: New Jersy Prentice-hall international 1982
Serie:Printice-Hall International series in computer science
Soggetti:
Microprogramming > Computer science > Computer system
Descrizione
Descrizione fisica:x,501p.
ISBN:0133290034

Documenti analoghi