LEADER 01649nlm0 22004571i 450 001 990009262160403321 010 $a9783642041679 035 $a000926216 035 $aFED01000926216 035 $a(Aleph)000926216FED01 035 $a000926216 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Methods for Components and Objects$bRisorsa elettronica$e7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures$fedited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5751 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBoer,$bFrank S. 702 1$aBonsangue,$bMarcello M. 702 1$aMadelaine,$bEric 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-04167-9 901 $aEB 912 $a990009262160403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aOperating Systems 961 $aOperating systems (Computers) 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSoftware Engineering/Programming and Operating Systems 996 $aFormal Methods for Components and Objects$9772145 997 $aUNINA LEADER 01531nam--2200457---450- 001 990001843900203316 005 20050405140659.0 035 $a000184390 035 $aUSA01000184390 035 $a(ALEPH)000184390USA01 035 $a000184390 100 $a20040712d1976----km-y0itay0103----ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aStoria della scoperta dell'America$fSamuel Eliot Morison$gversione italiana a cura di Furio Jesi 210 $aMilano$cRizzoli$d1976 215 $av.$cill.$d22 cm 225 2 $aCollana Storica Rizzoli 327 1 $a : I viaggi del Nord : 500 d. C.-1600. - 519 p. ; : I viaggi del Sud : 1492-1616 . - 632 p. 410 0$12001$aCollana Storica Rizzoli 454 1$12001$a<> European discovery of America$928003 517 1 $a<> viaggi del Nord 517 1 $a<> viaggi del Sud 606 0 $aAmerica$xScoperta 676 $a973.1 700 1$aMORISON,$bSamuel Eliot$0123351 702 1$aJESI,$bFurio 801 0$aIT$bsalbc$gISBD 912 $a990001843900203316 951 $aIII.1.2952/1(III D Coll. 51/2)$bL.M.$cIII D 951 $aColl QU 2/I$b49583 G.$cColl QU 951 $aColl QU 2/II$b49584 G.$cColl QU 959 $aBK 969 $aUMA 979 $aSIAV2$b10$c20040712$lUSA01$h1535 979 $aSIAV6$b10$c20041223$lUSA01$h1351 979 $aCOPAT3$b90$c20050405$lUSA01$h1406 979 $aCOPAT3$b90$c20050405$lUSA01$h1406 996 $aEuropean discovery of America$928003 997 $aUNISA