Computer-aided specification techniques /

Guardat en:
Dades bibliogràfiques
Autor principal: Demetrovics, Janos
Altres autors: Knuth, E. (El~od), 1943-, Rado, Peter
Format: Llibre
Idioma:English
Publicat: Singapore : World Scientific, c1985.
Col·lecció:Series in computer science ; vol. 1
Matèries:
Descripció
Descripció física:ix, 114 p. : ill. ; 24 cm.
Bibliografia:Bibliography: p. 110-114.
ISBN:9971978539