Computer-aided specification techniques
By: János Demetrovics, Előd Knuth, Péter Radó.
Contributors: Knuth, E. 1943-; Radó, Péter.
Series: Series in computer science ;; vol. 1
Publisher: World Scientific
Published: 1985
Place of publication: Singapore
Language: eng
Number of pages: 114
Subjects: System design.; Computer-aided design.
Notes: Bibliography: p. 110-114.