Item Details

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : Proceedings

Daniel Geist, Enrico Tronci, (Eds.)
Format
Book
Published
Berlin ; New York : Springer-Verlag, c2003.
Language
English
Series
Lecture Notes in Computer Science
ISBN
354020363X (alk. paper)
Description
xii, 426 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 2860
Technical Details
  • Access in Virgo Classic

  • LEADER 01393pam a22003734a 4500
    001 u4001066
    003 SIRSI
    005 20031222140827.0
    007 cr un----------
    008 031001s2003 gw a b 001 0 eng
    010
      
      
    a| 2003057017
    020
      
      
    a| 354020363X (alk. paper)
    035
      
      
    a| (Sirsi) i354020363X
    035
      
      
    a| (OCoLC)53170443
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| TK7874.75 b| .C453 2003
    082
    0
    0
    a| 621.39/5 2| 22
    090
      
      
    a| SCIENG/TK7874.75 b| .C453 2003
    111
    2
      
    a| CHARME 2003 d| (2003 : c| L'Aquila, Italy)
    245
    1
    0
    a| Correct hardware design and verification methods : b| 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / c| Daniel Geist, Enrico Tronci, (Eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer-Verlag, c| c2003.
    300
      
      
    a| xii, 426 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 2860
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Integrated circuits x| Very large scale integration x| Computer-aided design v| Congresses.
    650
      
    0
    a| Integrated circuits x| Verification v| Congresses.
    700
    1
      
    a| Geist, Daniel, d| 1961-
    700
    1
      
    a| Tronci, Enrico, d| 1961-
    999
      
      
    a| TK7874.75 .C453 2003 w| LC i| X004742149 l| STACKS m| SCI-ENG t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available