Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods in Computer-Aided Design: Second International Conference, FMCAD ' 98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD ' 98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings


Book Informaton

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD ' 98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Author

Ganesh Gopalakrishnan; Phillip Windley

Series

Lecture Notes in Computer Science

Volume

1522

Year of Publication

1998

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 538

Language

en

ISBN

9783540651918, 9783540495192

ARI Id

1664550912270


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-IX
1-1
2-17
18-35
36-48
49-63
64-81
82-99
100-114
115-132
133-148
149-166
167-184
185-202
203-203
204-221
222-236
237-254
255-289
290-302
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries