Computer-aided specification techniques /

Gardado en:
Detalles Bibliográficos
Autor Principal: Demetrovics, Janos
Outros autores: Knuth, E. (El~od), 1943-, Rado, Peter
Formato: Libro
Idioma:English
Publicado: Singapore : World Scientific, c1985.
Series:Series in computer science ; vol. 1
Subjects:
Descripción
Descrición Física:ix, 114 p. : ill. ; 24 cm.
Bibliografía:Bibliography: p. 110-114.
ISBN:9971978539