LEADER 01575nlm0 22004331i 450 001 990009236400403321 010 $a9783540712091 035 $a000923640 035 $aFED01000923640 035 $a(Aleph)000923640FED01 035 $a000923640 100 $a20100926d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aTools and Algorithms for the Construction and Analysis of Systems$bRisorsa elettronica$e13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal 210 $aBerlin ; Heidelberg$cSpringer$d2007 225 1 $aLecture Notes in Computer Science$x0302-9743$v4424 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aGrumberg,$bOrna 702 1$aHuth,$bMichael 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-71209-1 901 $aEB 912 $a990009236400403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aComputer Communication Networks 961 $aComputer Communication Networks 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA LEADER 01006nam0-2200325---450- 001 990008854670403321 005 20090514102721.0 035 $a000885467 035 $aFED01000885467 035 $a(Aleph)000885467FED01 035 $a000885467 100 $a20090514d1981----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $aFormazione linguistica e mondo del lavoro$fIntercoop language school, ex insegnanti Berlitz$ga cura di Domenico Canciani 210 $aMilano$cFranco Angeli$d1981 215 $a89 p.$d22 cm 225 1 $aIntercoop language school 610 0 $aLingue straniere - Insegnamento agli adulti 676 $a418 700 1$aIntercoop language school $0505693 701 1$aCanciani,$bDomenico$0505694 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008854670403321 952 $a418 INT$bdono$fDECLI 959 $aDECLI 996 $aFormazione linguistica e mondo del lavoro$9804204 997 $aUNINA