Computer-aided specification techniques /

Saved in:
Bibliographic Details
Main Author: Demetrovics, János.
Other Authors: Knuth, E. 1943-, Radó Péter.
Format: Book (Paper)
Published: Singapore : World Scientific, c1985.
Series:Series in computer science ; vol. 1
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Thư viện Trường Đại học Đà Lạt
Description
Physical Description:ix, 114 p. : ill. ; 24 cm.
Bibliography:Bibliography: p. 110-114.
ISBN:9971978539