Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings


Book Informaton

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Author

Warren A. Jr. Hunt; Steven D. Johnson

Series

Lecture Notes in Computer Science

Volume

1954

Year of Publication

2000

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XII, 552

Language

en

ISBN

9783540412199, 9783540409229, 3540412190

ARI Id

1664257364911


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 34 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-19
20-21
22-55
56-73
74-91
92-109
110-126
127-144
145-161
162-179
181-198
199-216
217-236
254-270
271-282
283-299
300-319
320-335
336-352
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 34 entries