LEADER 02498nlm0 22006371i 450 001 990009260370403321 010 $a9783642019180 035 $a000926037 035 $aFED01000926037 035 $a(Aleph)000926037FED01 035 $a000926037 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aFormal Methods for Web Services$bRisorsa elettronica$e9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5569 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aBernardo,$bMarco 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPadovani,$bLuca 702 1$aPandu Rangan,$bC. 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 702 1$aZavattaro,$bGianluigi 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-01918-0 901 $aEB 912 $a990009260370403321 961 $aComputer network architectures 961 $aComputer science 961 $aComputer Science 961 $aComputer Systems Organization and Communication Networks 961 $aInformation systems 961 $aInformation Systems Applications (incl.Internet) 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 Web Services$9774173 997 $aUNINA