ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
John W. O'Leary has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
cover image for 9783540001164
Product Description: 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. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions...read more
By Mark D. Aagaard and John W. O'Leary (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540001164 | Springer-Verlag New York Inc, March 1, 2003, cover price $89.95 | About this edition: 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.

displaying 1 to 1 | at end