LEADER 01447nlm0 22003971i 450 001 990009255440403321 010 $a9783540787433 035 $a000925544 035 $aFED01000925544 035 $a(Aleph)000925544FED01 035 $a000925544 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFundamental Approaches to Software Engineering$bRisorsa elettronica$e11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v4961 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aFiadeiro,$bJosé Luiz 702 1$aInverardi,$bPaola 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-78743-3 901 $aEB 912 $a990009255440403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProgramming Languages, Compilers, Interpreters 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNINA