LEADER 02446nlm0 22006371i 450 
001 990009260600403321
010   $a9783642021381
035   $a000926060
035   $aFED01000926060
035   $a(Aleph)000926060FED01
035   $a000926060
100   $a20100926d2009----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFormal Techniques for Distributed Systems$bRisorsa elettronica$eJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings$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, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter
210   $aBerlin ; Heidelberg$cSpringer$d2009
225 1 $aLecture Notes in Computer Science$x0302-9743$v5522
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aLee,$bDavid
702  1$aLopes,$bAntónia
702  1$aMattern,$bFriedemann
702  1$aMitchell,$bJohn C.
702  1$aNaor,$bMoni
702  1$aNierstrasz,$bOscar
702  1$aPandu Rangan,$bC.
702  1$aPoetzsch-Heffter,$bArnd
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
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-02138-1
901   $aEB
912   $a990009260600403321
961   $aComputer Communication Networks
961   $aComputer Communication Networks
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aProgramming Languages, Compilers, Interpreters
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aFormal Techniques for Distributed Systems$9774228
997   $aUNINA