LEADER 02337nlm0 22006251i 450 
001 990009258800403321
010   $a9783540921882
035   $a000925880
035   $aFED01000925880
035   $a(Aleph)000925880FED01
035   $a000925880
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFormal Methods for Components and Objects$bRisorsa elettronica$e6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5382
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aBoer,$bFrank S.
702  1$aBonsangue,$bMarcello M.
702  1$aGraf,$bSusanne
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$aRoever,$bWillem-Paul
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-540-92188-2
901   $aEB
912   $a990009258800403321
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aOperating Systems
961   $aOperating systems (Computers)
961   $aProgramming Languages, Compilers, Interpreters
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aFormal Methods for Components and Objects$9772145
997   $aUNINA