Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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


Book Informaton

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

Author

Mark D. Aagaard; John W. O'Leary

Series

Lecture Notes in Computer Science

Volume

2517

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XII, 408

Language

en

ISBN

9783540001164, 9783540361268, 3540001166

ARI Id

1664249099268


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-18
19-32
33-51
52-69
70-87
88-105
106-122
123-141
142-159
160-170
171-186
187-201
202-219
220-237
238-255
256-273
274-291
292-309
310-323
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries