LEADER 02348nlm0 22006251i 450 
001 990009257640403321
010   $a9783540881940
035   $a000925764
035   $aFED01000925764
035   $a(Aleph)000925764FED01
035   $a000925764
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aFormal Methods and Software Engineering$bRisorsa elettronica$e10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. 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, Shaoying Liu, Tom Maibaum, Keijiro Araki
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5256
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aAraki,$bKeijiro
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aLiu,$bShaoying
702  1$aMaibaum,$bTom
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
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-88194-0
901   $aEB
912   $a990009257640403321
961   $aAlgorithm Analysis and Problem Complexity
961   $aComputer science
961   $aComputer Science
961   $aComputer software
961   $aMathematical Logic and Formal Languages
961   $aModels and Principles
961   $aProgramming Languages, Compilers, Interpreters
961   $aProgramming Techniques
961   $aSoftware engineering
961   $aSoftware Engineering
996   $aFormal Methods and Software Engineering$9771999
997   $aUNINA