MARC record from Internet Archive

LEADER: 05607cam 2201069Ia 4500
001 ocn262681856
003 OCoLC
005 20180630223837.0
008 081017s2005 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
010 $a 2005932937
040 $aGW5XE$beng$epn$cGW5XE$dQCL$dOKU$dCOO$dYNG$dNUI$dOCLCQ$dN$T$dMND$dE7B$dOCLCO$dOCLCQ$dOCLCF$dBEDGE$dOCLCQ$dOCLCO$dNLGGC$dYDXCP$dOCLCQ$dOCLCO$dOCL$dOCLCO$dDEBSZ$dOCLCQ$dEBLCP$dVT2$dIDEBK$dOCLCQ$dUAB$dESU$dOCLCQ$dU3W$dOCLCQ
019 $a62108965$a222315357$a288294082$a613674896$a713352005$a739131139$a767173027$a785777394$a911078838$a964875896$a1005786780
020 $a9783540320302
020 $a354032030X
020 $a3540291059
020 $a9783540291053
020 $a1281391344
020 $a9781281391346
024 7 $a10.1007/11560548$2doi
035 $a(OCoLC)262681856$z(OCoLC)62108965$z(OCoLC)222315357$z(OCoLC)288294082$z(OCoLC)613674896$z(OCoLC)713352005$z(OCoLC)739131139$z(OCoLC)767173027$z(OCoLC)785777394$z(OCoLC)911078838$z(OCoLC)964875896$z(OCoLC)1005786780
037 $a978-3-540-29105-3$bSpringer$nhttp://www.springerlink.com
050 4 $aTK7874.75$b.C453 2005eb
055 13 $aQA75$b.L38 no.3725
072 7 $aTK$2lcco
072 7 $aTEC$x008050$2bisacsh
072 7 $aTEC$x008030$2bisacsh
072 7 $aCOM$x036000$2bisacsh
082 04 $a621.39/5$222
111 2 $aCHARME 2005$d(2005 :$cSaarbru cken, Germany)
245 10 $aCorrect hardware design and verification methods :$b13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbru cken, Germany, October 3-6, 2005 : proceedings /$cDominique Borrione, Wolfgang Paul (eds.).
246 30 $aCHARME 2005
246 18 $aIFIP CHARME 2005
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2005.
300 $a1 online resource (xii, 412 pages) :$billustrations.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3725
504 $aIncludes bibliographical references and index.
588 0 $aPrint version record.
650 0 $aIntegrated circuits$xVery large scale integration$xComputer-aided design$vCongresses.
650 0 $aIntegrated circuits$xVerification$vCongresses.
650 6 $aCircuits inte gre s a tre s grande e chelle$xConception assiste e par ordinateur$vCongre s.
650 6 $aCircuits inte gre s$xVe rification$vCongre s.
650 7 $aTECHNOLOGY & ENGINEERING$xElectronics$xCircuits$xVLSI & ULSI.$2bisacsh
650 7 $aTECHNOLOGY & ENGINEERING$xElectronics$xCircuits$xLogic.$2bisacsh
650 7 $aCOMPUTERS$xLogic Design.$2bisacsh
650 7 $aInformatique.$2eclas
650 7 $aIntegrated circuits$xVerification.$2fast$0(OCoLC)fst00975600
650 7 $aIntegrated circuits$xVery large scale integration$xComputer-aided design.$2fast$0(OCoLC)fst00975604
650 7 $aCircuit inte gre a tre s grande e chelle.$2rasuqam
650 7 $aConception assiste e par ordinateur.$2rasuqam
650 7 $aCircuit inte gre $2rasuqam
650 7 $aVe rification formelle.$2rasuqam
650 7 $aEssai technique.$2rasuqam
650 7 $aModel-checking (Informatique)$2rasuqam
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aBorrione, Dominique.
700 1 $aPaul, Wolfgang J.,$d1951-
776 08 $iPrint version:$aCHARME 2005 (2005 : Saarbru cken, Germany).$tCorrect hardware design and verification methods.$dBerlin ; New York : Springer, ℗♭2005$z3540291059$z9783540291053$w(DLC) 2005932937$w(OCoLC)61766588
830 0 $aLecture notes in computer science ;$v3725.$x0302-9743
856 40 $3Ebook Library$uhttp://public.eblib.com/choice/publicfullrecord.aspx?p=3067864
856 40 $3ebrary$uhttp://site.ebrary.com/id/10528807
856 40 $3EBSCOhost$uhttp://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183493
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=139134
856 40 $3OhioLINK$uhttp://rave.ohiolink.edu/ebooks/ebc/11560548
856 40 $3SpringerLink$uhttp://dx.doi.org/10.1007/11560548
856 40 $3SpringerLink$uhttp://www.springerlink.com/link.asp?id=127pvw4amap1
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-29105-3
856 40 $3SpringerLink$uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-29105-3
856 40 $3SpringerLink$uhttp://link.springer.com/10.1007/11560548
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3725$zRestricted to SpringerLink subscribers
856 4 $3Cover$uhttp://swbplus.bsz-bw.de/bsz301170002cov.htm$v20150820163258
856 40 $uhttps://link.springer.com/openurl?genre=book&isbn=978-3-540-29105-3
856 40 $uhttps://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11560548$zConnect to Springer e-book
938 $aEBL - Ebook Library$bEBLB$nEBL3067864
938 $aebrary$bEBRY$nebr10528807
938 $aEBSCOhost$bEBSC$n183493
938 $aProQuest MyiLibrary Digital eBook Collection$bIDEB$ncis23799046
938 $aYBP Library Services$bYANK$n3023504
029 1 $aAU@$b000028616141
029 1 $aAU@$b000042240939
029 1 $aAU@$b000058158447
029 1 $aDEBSZ$b301170002
029 1 $aDKDLA$b820120-katalog:000461829
029 1 $aNLGGC$b384380670
029 1 $aNZ1$b12056157
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 399 OTHER HOLDINGS