Advances in formal design methods for CAD proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Advances in formal design methods for CAD proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) c1996.
Θέματα:
Computer-aided design.