LEADER 02549nlm0 22006731i 450 
001 990009257720403321
010   $a9783540883876
035   $a000925772
035   $aFED01000925772
035   $a(Aleph)000925772FED01
035   $a000925772
100   $a20100926d2008----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aAutomated Technology for Verification and Analysis$bRisorsa elettronica$e6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 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, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
210   $aBerlin ; Heidelberg$cSpringer$d2008
225 1 $aLecture Notes in Computer Science$x0302-9743$v5311
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aCha,$bSungdeok (Steve)
702  1$aChoi,$bJin-Young
702  1$aHutchison,$bDavid
702  1$aKanade,$bTakeo
702  1$aKim,$bMoonzoo
702  1$aKittler,$bJosef
702  1$aKleinberg,$bJon M.
702  1$aLee,$bInsup
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$aViswanathan,$bMahesh
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-88387-6
901   $aEB
912   $a990009257720403321
961   $aComputer Communication Networks
961   $aComputer Communication Networks
961   $aComputer science
961   $aComputer Science
961   $aInformation systems
961   $aInformation Systems and Communication Service
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aProgramming Languages, Compilers, Interpreters
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aSpecial Purpose and Application-Based Systems
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNINA