Computer-aided specification techniques

Saved in:
Bibliographic Details
Main Author: Demetrovics, Janos
Other Authors: Knuth, Elod, Rado, Peter
Format: Book
Published: Singapore World Scientific 1985
Series:Series in computer science Vol. 1
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!