from Springer-Verlag New York Inc (March 1, 2003)
9783540001164 |
details & prices | 399 pages | 6.25 × 9.50 × 1.00 in. | 1.34 lbs | List price $89.95
About: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002.