MARC record from Internet Archive

LEADER: 03470cam 2200733 a 4500
001 ocm57066779
003 OCoLC
005 20180729210424.0
008 041126s2004 gw a b 101 0 eng d
007 cr un|||||||||
010 $a 2004115344
040 $aOHX$beng$cOHX$dZCU$dC$Q$dOCLCQ$dDLC$dBAKER$dNLGGC$dYDXCP$dLVB$dBTCTA$dUQ1$dOCLCG$dCEF$dGW5XE$dOCLCO$dOCLCQ$dOCLCF
016 7 $a972458549$2DE-101
019 $a144557038
020 $a3540237380$q(pbk.)
020 $a9783540237389$q(pbk.)
035 $a(OCoLC)57066779$z(OCoLC)144557038
050 00 $aTK7874.65$b.F53 2004
072 7 $aQ$2lcco
082 00 $a621.39/5$222
084 $a54.30$2bcl
111 2 $aFMCAD 2004$d(2004 :$cAustin, Tex.)
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 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $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.
650 6 $aCircuits inte gre s nume riques$xConception assiste e par ordinateur$vCongre s.
650 6 $aCircuits inte gre s$xVe rification$vCongre s.
650 6 $aMe thodes formelles (Informatique)$vCongre s.
650 6 $aCircuits inte gre s nume riques$xConception et construction$xMathe matiques$vCongre s.
650 7 $aMe thode formelle.$2rasuqam
650 7 $aCircuit inte gre nume rique.$2rasuqam
650 7 $aConception assiste e par ordinateur.$2rasuqam
650 7 $aModel-checking (Informatique)$2rasuqam
650 7 $aDigital integrated circuits$xComputer-aided design.$2fast$0(OCoLC)fst00893694
650 7 $aFormal methods (Computer science)$2fast$0(OCoLC)fst00932926
650 7 $aIntegrated circuits$xVerification.$2fast$0(OCoLC)fst00975600
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aHu, Alan J.$q(Alan John)
700 1 $aMartin, Andrew K.
830 0 $aLecture notes in computer science ;$v3312.$x0302-9743
856 41 $3SpringerLink$uhttp://dx.doi.org/10.1007/b102264
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3312$zRestricted to Springer LINK subscribers
856 41 $uhttp://link.springer-ny.com/link/service/series/0558/tocs/t3312.htm$zSpringerLink
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0823/2004115344-d.html
938 $aBaker & Taylor$bBKTY$c84.00$d84.00$i3540237380$n0006157694$sactive
938 $aBaker and Taylor$bBTCP$nBK0006157694
938 $aOtto Harrassowitz$bHARR$nhar040124911
938 $aYBP Library Services$bYANK$n2169605
029 1 $aAU@$b000026513094
029 1 $aNZ1$b9056028
029 1 $aYDXCP$b2169605
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 128 OTHER HOLDINGS