Formal specification and software development

Bibliographische Detailangaben
1. Verfasser: Bjorner, Diner
Weitere Verfasser: Jones, Cliff B.
Format: Printed Book
Sprache:English
Veröffentlicht: New Jersy Prentice-hall international 1982
Schriftenreihe:Printice-Hall International series in computer science
Schlagworte:
Microprogramming > Computer science > Computer system

Ähnliche Einträge

Ähnliche Einträge