LEADER 01373nlm0 22004091i 450 001 990009246270403321 010 $a9783540732105 035 $a000924627 035 $aFED01000924627 035 $a(Aleph)000924627FED01 035 $a000924627 100 $a20100926d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aIntegrated Formal Methods$bRisorsa elettronica$e6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings$fedited by Jim Davies, Jeremy Gibbons 210 $aBerlin ; Heidelberg$cSpringer$d2007 225 1 $aLecture Notes in Computer Science$x0302-9743$v4591 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aDavies,$bJim 702 1$aGibbons,$bJeremy 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-73210-5 901 $aEB 912 $a990009246270403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProgramming Languages, Compilers, Interpreters 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aIntegrated Formal Methods$9772444 997 $aUNINA LEADER 01266nam0-2200409li-450 001 990000147170203316 005 20180918160705.0 010 $a88-203-1915-2 035 $a0014717 035 $aUSA010014717 035 $a(ALEPH)000014717USA01 035 $a0014717 100 $a2001995031993-------y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aDissesti statici delle strutture edilizie$ediagnosi, consolidamento, istituzioni teoriche, applicazioni pratiche$fSisto Mastrodicasa 205 $a9. ed. riv. e ampliata 210 $aMilano$cHoepli$dcopyr. 1993 606 0 $aStrutture edilizie 606 0 $aStatica 676 $a624.171 700 1$aMASTRODICASA,$bSisto$0331297 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000147170203316 951 $a624.171 MAS$b0005662 951 $aS/D 642$b2007 DIC 959 $aBK 969 $aTEC 969 $aDIC 979 $c19950303 979 $c20001110$lUSA01$h1712 979 $c20020403$lUSA01$h1622 979 $aPATRY$b90$c20040406$lUSA01$h1611 979 $aPATRY$b90$c20051006$lUSA01$h1004 979 $aPATRY$b90$c20051006$lUSA01$h1006 996 $aDissesti statici delle strutture edilizie$976562 997 $aUNISA