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 /
|aCorrect hardware design and verification methods|h[electronic resource] :|b11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /|cTiziana Margaria, Tom Melham (eds.).
246
30
|aCHARME 2001
246
30
|aIFIP WG 10.5 advanced research working conference
260
|aNew York :|bSpringer,|cc2001.
300
|axii, 482 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v2144
650
0
|aIntegrated circuits|xVerification|vCongresses.
650
0
|aIntegrated circuits|xVery large scale integration|xComputer-aided design|vCongresses.
700
1
|aMargaria, Tiziana.
700
1
|aMelham, Tom.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-44798-9
950
|aComputer Science (Lecture Notes in Computer Science)