LEADER 02376nlm0 22006491i 450 
001 990009260020403321
010   $a9783642013645
035   $a000926002
035   $aFED01000926002
035   $a(Aleph)000926002FED01
035   $a000926002
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aWeb Services and Formal Methods$bRisorsa elettronica$e5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers$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, Roberto Bruni, Karsten Wolf
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5387
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aBruni,$bRoberto
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$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$aWolf,$bKarsten
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-01364-5
901   $aEB
912   $a990009260020403321
961   $aComputer Communication Networks
961   $aComputer Communication Networks
961   $aComputer science
961   $aComputer Science
961   $aComputer system performance
961   $aInformation systems
961   $aInformation Systems Applications (incl.Internet)
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aModels and Principles
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aSystem Performance and Evaluation
996   $aWeb Services and Formal Methods$9772379
997   $aUNINA