Loading...

Formal specification and software development

Bibliografiske detaljer
Hovedforfatter: Bjorner, Diner
Andre forfattere: Jones, Cliff B.
Format: Printed Book
Sprog:English
Udgivet: New Jersy Prentice-hall international 1982
Serier:Printice-Hall International series in computer science
Fag:
Beskrivelse
Fysisk beskrivelse:x,501p.
ISBN:0133290034