Caricamento...

Formal specification and software development

Dettagli Bibliografici
Autore principale: Bjorner, Diner
Altri autori: Jones, Cliff B.
Natura: Printed Book
Lingua:English
Pubblicazione: New Jersy Prentice-hall international 1982
Serie:Printice-Hall International series in computer science
Soggetti:

UL

Dettagli sul posseduto da UL
Collocazione: 004.414.38 BJO
Copia Status in tempo reale non disponibile