Formal specification and software development

Bibliografiska uppgifter
Huvudupphovsman: Bjorner, Diner
Övriga upphovsmän: Jones, Cliff B.
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersy Prentice-hall international 1982
Serie:Printice-Hall International series in computer science
Ämnen:
Microprogramming > Computer science > Computer system
Beskrivning
Fysisk beskrivning:x,501p.
ISBN:0133290034

Liknande verk