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:

UL

Detaljer om beholdninger fra UL
Klassifikationsnummer: 004.414.38 BJO
Kopi Live Status Unavailable