Computer-aided specification techniques /

Saved in:
Bibliographic Details
Main Author: Demetrovics, Janos
Other Authors: Knuth, E. (El~od), 1943-, Rado, Peter
Format: Book
Language:English
Published: Singapore : World Scientific, c1985.
Series:Series in computer science ; vol. 1
Subjects:
Description
Physical Description:ix, 114 p. : ill. ; 24 cm.
Bibliography:Bibliography: p. 110-114.
ISBN:9971978539