LEADER 00994cam0-22003371i-450 001 990003135980403321 005 20221015102836.0 010 $a0-521-44315-6 100 $a20030910d1997----km-y0itay50------ba 101 1 $aeng$cita 102 $aGB 105 $aa-------001yy 200 1 $a<>monetary history of Italy$fMichele Fratianni and Franco Spinelli 210 $aCambridge$cCambridge University Press$d1997 215 $aXVII, 305 p.$cill.$d24 cm 454 0$1001000636308 610 0 $aMoneta$aItalia$aStoria$a1866- 676 $a332.0945$v20$zita 700 1$aFratianni,$bMichele$c$0367925 701 1$aSpinelli,$bFranco$f<1949- >$01931 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003135980403321 952 $aJ/5 FRA/97$b18665$fSES 952 $aXV M1 164$b37548*$fFGBC 952 $aN2.336$b7027$fDECTS 959 $aSES 959 $aDECTS 959 $aFGBC 996 $aMonetary history of Italy$9457055 997 $aUNINA LEADER 01328aam a2200301 i 4500 001 991002675619707536 008 150210s2011 it ab b 001 0 ita 020 $a9788820510367 035 $ab14214623-39ule_inst 040 $aDip.to di Storia, Società e Studi sull'Uomo$bita 082 04$a850.9358 245 00$aAtlante letterario del Risorgimento :$b1848-1871 /$ca cura di Matilde Dillon Wanke ; in collaborazione con Marco Sirtori ; presentazione di Matilde Dillon Wanke e Giulio Ferroni 260 $aMilano :$bCisalpino,$cc2011 300 $a463 p. :$bill. ;$c25 cm. 500 $aSul front.: Università degli Studi di Bergamo 500 $aIn copertina: Biblioteca dell'Unità d'Italia 504 $aInclude bibliografia (p. 433-445) e indici 650 4$aLetteratura$xRisorgimento italiano$y1848-1871 650 4$aLetteratura italiana$xTemi [:] Risorgimento italiano$ySec. 19. 700 1 $aDillon Wanke, Matilde 700 1 $aSartori, Marco 700 1 $aFerroni, Giulio 907 $a.b14214623$b16-02-15$c10-02-15 912 $a991002675619707536 945 $aLE023 850.9358 ATL 1 1 $g1$i2023000134719$lle023$og$pE45.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15657516$z11-02-15 996 $aAtlante letterario del Risorgimento$997855 997 $aUNISALENTO 998 $ale023$b10-02-15$cc$da $e-$fita$git $h0$i0 LEADER 01779nam 2200505Ia 450 001 9910701854503321 005 20120622112657.0 035 $a(CKB)5470000002421563 035 $a(OCoLC)796085603 035 $a(EXLCZ)995470000002421563 100 $a20120622d2011 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA methodology for evaluating artifacts produced by a formal verification process$b[electronic resource] /$fRadu I. Siminiceanu, Paul S. Miner and Suzette Person 210 1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011] 215 $a1 online resource (23 pages) $ccolor illustrations 225 1 $aNASA/TM ;$v2011-217193 300 $aTitle from title screen (viewed on June 22, 2012). 300 $a"November 2011." 320 $aIncludes bibliographical references (page 22). 606 $aProgram verification (computers)$2nasat 606 $aFormalism$2nasat 606 $aEthernet$2nasat 606 $aFault tolerance$2nasat 606 $aAlgorithms$2nasat 606 $aDesign analysis$2nasat 615 7$aProgram verification (computers) 615 7$aFormalism. 615 7$aEthernet. 615 7$aFault tolerance. 615 7$aAlgorithms. 615 7$aDesign analysis. 700 $aSiminiceanu$b Radu I$01405428 701 $aMiner$b Paul S.$f1962-$01405429 701 $aPerson$b Suzette$01405430 712 02$aNASA Glenn Research Center. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910701854503321 996 $aA methodology for evaluating artifacts produced by a formal verification process$93481898 997 $aUNINA