Formal specification and software development

Bibliografische gegevens
Hoofdauteur: Bjorner, Diner
Andere auteurs: Jones, Cliff B.
Formaat: Printed Book
Taal:English
Gepubliceerd in: New Jersy Prentice-hall international 1982
Reeks:Printice-Hall International series in computer science
Onderwerpen:
Microprogramming > Computer science > Computer system
Omschrijving
Fysieke beschrijving:x,501p.
ISBN:0133290034

Gelijkaardige items