-
1
-
2
-
3
-
4
-
5Advances in Formal Design Methods for CAD [electronic resource] : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 / Advances in Formal Design Methods for CAD [electronic resource] : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 /Texto bibliotecaCOLPOS
-
6Advances in Formal Design Methods for CAD [electronic resource] : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 / Advances in Formal Design Methods for CAD [electronic resource] : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 /Texto bibliotecaCOLPOS