| Record ID | marc_columbia/Columbia-extract-20221130-011.mrc:18793859:1789 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-011.mrc:18793859:1789?format=raw |
LEADER: 01789cam a2200373 a 4500
001 5019910
005 20221109205949.0
008 041126s2004 gw a b 101 0 eng d
010 $a 2004115344
016 7 $a972458549$2GyFmDB
020 $a3540237380 (pbk.)
035 $a(OCoLC)ocm57066779
035 $a(NNC)5019910
035 $a5019910
040 $aOHX$cOHX$dZCU
050 4 $aTK7874.65$b.F53 2004
072 7 $aQ$2lcco
111 2 $aFMCAD 2004$d(2004 :$cAustin, Tex.)$0http://id.loc.gov/authorities/names/no2011180381
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 1 $aFMCAD 2004
260 $aBerlin :$bSpringer,$c2004.
300 $axi, 444 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3312
504 $aIncludes bibliographical references and index.
650 0 $aDigital integrated circuits$xComputer-aided design$vCongresses.
650 0 $aIntegrated circuits$xVerification$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008123906
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
650 0 $aDigital integrated circuits$xDesign and construction$xMathematics$vCongresses.
700 1 $aHu, Alan J.$q(Alan John)$0http://id.loc.gov/authorities/names/nr99017705
700 1 $aMartin, Andrew K.$0http://id.loc.gov/authorities/names/nb2004310546
830 0 $aLecture notes in computer science ;$v3312.$0http://id.loc.gov/authorities/names/n42015162
852 0 $boff,eng$hTK7874.65$i.F53 2004g