The Resource Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)
Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)
Resource Information
The item Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME'99, held in Bad Herrenalb, Germany in September 1999. The 20 revised full papers and 12 revised short papers presented together with two invited contributions were carefully reviewed and selected from 48 papers submitted. The papers are organized in topical sections on proofs of microprocessors, model checking, formal methods and industrial applications, abstraction and compositional techniques, theorem proving and related approaches, symbolic simulation and symbolic traversal, and specification languages and methodologies
- Language
- eng
- Extent
- 1 online resource (xi, 366 pages)
- Isbn
- 9783540481539
- Label
- Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
- Title
- Correct hardware design and verification methods
- Title remainder
- 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
- Statement of responsibility
- Laurence Pierre, Thomas Kropf (eds.)
- Subject
-
- Conference papers and proceedings
- Congressen (vorm)
- Hardware
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design -- Congresses
- Vormgeving
- Conference papers and proceedings
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME'99, held in Bad Herrenalb, Germany in September 1999. The 20 revised full papers and 12 revised short papers presented together with two invited contributions were carefully reviewed and selected from 48 papers submitted. The papers are organized in topical sections on proofs of microprocessors, model checking, formal methods and industrial applications, abstraction and compositional techniques, theorem proving and related approaches, symbolic simulation and symbolic traversal, and specification languages and methodologies
- Cataloging source
- COO
- Dewey number
- 621.3815
- Illustrations
- illustrations
- Index
- index present
- LC call number
- TK7874.75
- LC item number
- .C453 1999
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1999
- http://bibfra.me/vocab/lite/meetingName
- CHARME'99
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1961-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Pierre, Laurence
- Kropf, Thomas
- Series statement
- Lecture notes in computer science
- Series volume
- 1703
- http://library.link/vocab/subjectName
-
- Integrated circuits
- Integrated circuits
- Integrated circuits
- Integrated circuits
- Hardware
- Vormgeving
- Label
- Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487471
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 366 pages)
- Form of item
- online
- Isbn
- 9783540481539
- Lccn
- 99051458
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)243487471
- Label
- Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)
- Bibliography note
- Includes bibliographical references and author index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487471
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 366 pages)
- Form of item
- online
- Isbn
- 9783540481539
- Lccn
- 99051458
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)243487471
Subject
- Conference papers and proceedings
- Congressen (vorm)
- Hardware
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design
- Integrated circuits -- Very large scale integration | Computer-aided design -- Congresses
- Vormgeving
- Conference papers and proceedings
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Correct-hardware-design-and-verification-methods/juhmrWyP7Ok/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Correct-hardware-design-and-verification-methods/juhmrWyP7Ok/">Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Correct-hardware-design-and-verification-methods/juhmrWyP7Ok/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Correct-hardware-design-and-verification-methods/juhmrWyP7Ok/">Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings, Laurence Pierre, Thomas Kropf (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
