| Record ID | marc_records_scriblio_net/part15.dat:36713979:1504 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part15.dat:36713979:1504?format=raw |
LEADER: 01504cam 22003617a 4500
001 2004115344
003 DLC
005 20051116151731.0
008 041019s2004 gw a b 101 0 eng d
010 $a 2004115344
016 7 $a972458549$2GyFmDB
020 $a3540237380 (pbk.)
035 $a(OCoLC)ocm57066779
040 $aOHX$cOHX$dZCU$dC$Q$dDLC
042 $alccopycat
050 00 $aTK7874.65$b.F53 2004
072 7 $aQ$2lcco
082 00 $a621.39/5$222
111 2 $aFMCAD 2004$d(2004 :$cAustin, Texas)
245 10 $aFormal methods in computer-aided design :$b5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /$cAlan J. Hu, Andrew K. Martin (eds.).
246 30 $aFMCAD 2004
260 $aBerlin :$bSpringer,$c2004.
300 $axi, 444 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3312
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aDigital integrated circuits$xComputer-aided design$vCongresses.
650 0 $aIntegrated circuits$xVerification$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aDigital integrated circuits$xDesign and construction$xMathematics$vCongresses.
700 1 $aHu, Alan J.$q(Alan John)
700 1 $aMartin, Andrew K.
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3312$zRestricted to Springer LINK subscribers