LEADER 02104nam 22005535 450 001 996466138403316 005 20200706220430.0 010 $a3-540-39687-X 024 7 $a10.1007/BFb0031414 035 $a(CKB)1000000000230477 035 $a(SSID)ssj0000327350 035 $a(PQKBManifestationID)11230852 035 $a(PQKBTitleCode)TC0000327350 035 $a(PQKBWorkID)10301436 035 $a(PQKB)11385160 035 $a(DE-He213)978-3-540-39687-1 035 $a(PPN)155175289 035 $a(EXLCZ)991000000000230477 100 $a20121227d1985 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTrace Theory and VLSI Design$b[electronic resource] /$fby Jan L.A. van de Snepscheut 205 $a1st ed. 1985. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1985. 215 $a1 online resource (VI, 141 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v200 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-15988-6 327 $aTrace theory -- A program notation -- Finite state machines -- VLSI design -- An implementation strategy -- On what we have rejected -- Epilogue. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v200 606 $aLogic design 606 $aElectronics 606 $aMicroelectronics 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 615 0$aLogic design. 615 0$aElectronics. 615 0$aMicroelectronics. 615 14$aLogic Design. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a621.395 700 $aSnepscheut$b Jan L.A. van de$4aut$4http://id.loc.gov/vocabulary/relators/aut$0543214 906 $aBOOK 912 $a996466138403316 996 $aTrace theory and VLSI design$9878450 997 $aUNISA