Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

by: Asko Riitahuhta · Fay Sudweeks Paperback details (USA). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-1-4757-4428-6 ISBN-10: 1-4757-4428-5 Springer · 2013