Computer-aided specification techniques /

Bibliographic Details

Main Author:	Demtrovics, Janos
Other Authors:	Knuth, E. (Előd), 1943-, Radó, Péter
Format:	Book
Language:	English
Published:	Singapore : World Scientific, [1985]
Series:	Series in computer science ; vol. 1.
Subjects:	System design. Computer-aided design.