Computer-aided specification techniques /

Salvato in:
Dettagli Bibliografici
Autore principale: Demetrovics, János.
Altri autori: Knuth, E. 1943-, Radó, Péter.
Natura: Sách giấy
Pubblicazione: Singapore : World Scientific, c1985.
Serie:Series in computer science ; vol. 1
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt