Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Correct Hardware Design and Verification Methods: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings


Book Informaton

Correct Hardware Design and Verification Methods: 11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Author

Tiziana Margaria; Tom Melham

Series

Lecture Notes in Computer Science

Volume

2144

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XII, 488

Language

en

ISBN

9783540425410, 9783540447986, 3540425411

ARI Id

1664572525471


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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XI
1-12
13-39
40-57
58-70
71-85
86-91
92-97
98-103
104-109
110-125
126-139
140-154
155-160
161-166
167-172
173-178
179-195
196-211
212-227
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries