Formal specification and software development /

Salvato in:
Dettagli Bibliografici
Autore principale: Bjorner, D. (Dines), 1937- (Autore)
Altri autori: Jones, C. B. (Cliff B.), 1944-
Natura: Libro
Lingua:inglese
Pubblicazione: ©1982
Serie:Prentice-Hall international series in computer science
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Matheson Library

Dettagli sul posseduto da Matheson Library
Collocazione: 001.642 B626f
Copia 019318 On Shelf