Mark Aagaard,John W. O'Leary: Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings



____________________________
Author: Mark Aagaard,John W. O'Leary
Number of Pages: 408 pages
Published Date: 01 Mar 2003
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540001164
Download Link: Click Here
____________________________