LEADER 00931nam0-22003011i-450- 001 990000118250403321 035 $a000011825 035 $aFED01000011825 035 $a(Aleph)000011825FED01 035 $a000011825 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aEnrico Bernardi e il suo contributo alla creazione dell'automobile$fMario Medici. 210 $aRoma$cAutomobile club d'Italia$eL'editrice dell'automobile$d1969 215 $a388 p., 20 tav.$cill.$d22 cm 225 1 $aLibri dell'automobile. Tecnica 610 0 $aAutomobili 676 $a629.22 700 1$aMedici,$bMario$01366 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000118250403321 952 $a13 M 01 15$b6789$fFINBC 959 $aFINBC 996 $aEnrico Bernardi e il suo contributo alla creazione dell'automobile$9114870 997 $aUNINA DB $aING01 LEADER 03313nam 22006252 450 001 9910454505003321 005 20151005020621.0 010 $a1-107-19643-4 010 $a1-282-39124-0 010 $a0-511-64683-6 010 $a9786612391248 010 $a0-511-62691-6 010 $a0-511-57932-2 010 $a0-511-65091-4 010 $a0-511-57858-X 010 $a0-511-58006-1 035 $a(CKB)1000000000784176 035 $a(EBL)451928 035 $a(OCoLC)551852806 035 $a(SSID)ssj0000341710 035 $a(PQKBManifestationID)11252607 035 $a(PQKBTitleCode)TC0000341710 035 $a(PQKBWorkID)10394648 035 $a(PQKB)10928231 035 $a(UkCbUP)CR9780511626913 035 $a(MiAaPQ)EBC451928 035 $a(Au-PeEL)EBL451928 035 $a(CaPaEBR)ebr10333203 035 $a(CaONFJC)MIL239124 035 $a(EXLCZ)991000000000784176 100 $a20090916d2009|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPractical design verification /$fedited by Dhiraj K. Pradhan, Ian G. Harris$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2009. 215 $a1 online resource (xi, 276 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-85972-7 320 $aIncludes bibliographical references and index. 327 $aModel checking and equivalence checking / Masahiro Fujita -- Transaction-level system modeling / Daniel Gajski and Samar Abdi -- Response checkers, monitors, and assertions / Harry Foster -- System debugging strategies / Wayne H. Wolf -- Test generation and coverage metrics / Ernesto Sa?nchez, Giovanni Squillero, and Matteo Sonza Reorda -- SystemVerilog and Vera in a verification flow / Shireesh Verma and Ian G. Harris -- Decision diagrams for verification / Maciej Ciesielski, Dhiraj K. Pradhan, and Abusaleh M. Jabir -- Boolean satisfiability and EDA applications / Joao Marques-Silva. 330 $aImprove design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT). 606 $aIntegrated circuits$xVerification 615 0$aIntegrated circuits$xVerification. 676 $a621.3815/48 702 $aPradhan$b Dhiraj K. 702 $aHarris$b Ian G. 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910454505003321 996 $aPractical design verification$92465880 997 $aUNINA LEADER 00859nam a2200253 i 4500 001 991001551299707536 005 20020502184106.0 008 940915s1986 ||| ||| | ||| 035 $ab10867314-39ule_inst 035 $aLE02371541$9ExL 040 $aDip.to Studi Storici$bita 082 0 $a193 100 1 $aForni, Guglielmo$0167171 245 10$aCommento alla "crisi" di Husserl /$cGuglielmo Forni 260 $aBologna :$bClueb,$c1986 300 $a138 p. ;$c21 cm. 650 4$aFilosofia tedesca 650 4$aHusserl$xStudi 907 $a.b10867314$b21-09-06$c28-06-02 912 $a991001551299707536 945 $aLE023 193 HUS 1 1$g1$i2023000001271$lle023$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10976012$z28-06-02 996 $aCommento alla "crisi" di Husserl$9917798 997 $aUNISALENTO 998 $ale023$b01-01-94$cm$da $e-$feng$gxx $h0$i1