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:

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AH37C0 B03502
Copy 1 Available  Place a Hold