LEADER 00872nam0-22003131i-450- 001 990004688450403321 005 20071228124603.0 035 $a000468845 035 $aFED01000468845 035 $a(Aleph)000468845FED01 035 $a000468845 100 $a19990604g19689999km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aContro i sofisti$fIsocrate$ga cura di Sergio Cecchi 205 $a2. ed. riv. 210 $aMilano$cDante Alighieri$d1968. 215 $a38 p.$d20 cm 225 1 $aTraditio$iSerie greca$v41 500 10$a< Orationes >$921012 700 1$aIsocrates$f<436/35-338 a. C.>$0186464 702 1$aCecchi,$bSergio 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004688450403321 952 $aFCL 595A (41)$bIst.Fil.Cl.101$fFLFBC 959 $aFLFBC 996 $aOrationes$921012 997 $aUNINA LEADER 01574nlm0 22004451i 450 001 990009237970403321 010 $a9783540319399 035 $a000923797 035 $aFED01000923797 035 $a(Aleph)000923797FED01 035 $a000923797 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Methods for Components and Objects$bRisorsa elettronica$eThird International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures$fedited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3657 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBoer,$bFrank S. 702 1$aBonsangue,$bMarcello M. 702 1$aGraf,$bSusanne 702 1$aRoever,$bWillem-Paul 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/11561163 901 $aEB 912 $a990009237970403321 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 $aSoftware engineering 961 $aSoftware Engineering 996 $aFormal Methods for Components and Objects$9772145 997 $aUNINA LEADER 00968nam0-2200325---450- 001 990007879410403321 005 20090410130945.0 010 $a2-7453-0451-8 035 $a000787941 035 $aFED01000787941 035 $a(Aleph)000787941FED01 035 $a000787941 100 $a20040504d2003----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $ay---a---001yy 200 1 $aObermann$edernière version$fSenancour$gintroduction, établissement du texte, variantes et notes par Béatrice Didier 210 $aParis$cChampion$d2003 215 $a489 p.$d23 cm 225 1 $aTextes de littérature moderne et contemporaine$v48 676 $a843.6 700 1$aSenancour,$bEtienne de$f<1770-1846>$0162590 702 1$aDidier,$bBéatrice$f<1935- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007879410403321 952 $a843.6 SENA 6(2)$fFLFBC 959 $aFLFBC 996 $aObermann$9311770 997 $aUNINA