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
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
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 37 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 37 entries