Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference CHARME 2001 (2001 : Livingston, Scotland)
Title 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 / Tiziana Margaria, Tom Melham (eds.).
Imprint Berlin ; New York : Springer, [2001]
©2001

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference CHARME 2001 (2001 : Livingston, Scotland)
Series Lecture notes in computer science ; 2144
Lecture notes in computer science ; 2144.
Subject Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
Alt Name Margaria-Steffen, Tiziana, 1964-
Melham, T. F. (Tom F.)
Description xii, 482 pages ; 24 cm.
Bibliography Note Includes bibliographical references and index.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web.
ISBN 3540425411 (pbk. : alk. paper)
9783540425410 (pbk. : alk. paper)
OCLC # 644364586
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format CHARME 2001 (2001 : Livingston, Scotland) 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 (OCoLC)47764389


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team