Computer-aided specification techniques /

Salvato in:
Dettagli Bibliografici
Autore principale: Demetrovics, Janos
Altri autori: Knuth, E. (El~od), 1943-, Rado, Peter
Natura: Libro
Lingua:English
Pubblicazione: Singapore : World Scientific, c1985.
Serie:Series in computer science ; vol. 1
Soggetti:
Descrizione
Descrizione fisica:ix, 114 p. : ill. ; 24 cm.
Bibliografia:Bibliography: p. 110-114.
ISBN:9971978539