Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2144)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(35 papers)
About this book
Editors and Affiliations
-
Lehrstuhl für Programmiersysteme, Universität Dortmund, Dortmund, Germany
Tiziana Margaria
-
Department of Computing Science, University of Glasgow, Glasgow, UK
Tom Melham
Bibliographic Information
Book Title: Correct Hardware Design and Verification Methods
Book Subtitle: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Editors: Tiziana Margaria, Tom Melham
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-44798-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42541-0Published: 27 August 2001
eBook ISBN: 978-3-540-44798-6Published: 30 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 488
Topics: Computer System Implementation, Theory of Computation, Software Engineering/Programming and Operating Systems, Computer Hardware, Logics and Meanings of Programs, Software Engineering