LEADER 02135nlm0 22005891i 450 001 990009256220403321 010 $a9783540851141 035 $a000925622 035 $aFED01000925622 035 $a(Aleph)000925622FED01 035 $a000925622 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aModel Checking Software$bRisorsa elettronica$e15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 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, Klaus Havelund, Rupak Majumdar, Jens Palsberg 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v5156 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHavelund,$bKlaus 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMajumdar,$bRupak 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPalsberg,$bJens 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-85114-1 901 $aEB 912 $a990009256220403321 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProgramming Languages, Compilers, Interpreters 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aModel Checking Software$9771961 997 $aUNINA LEADER 00789nam0-22002531i-450- 001 990005112020403321 005 19990530 035 $a000511202 035 $aFED01000511202 035 $a(Aleph)000511202FED01 035 $a000511202 100 $a19990530g19489999km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aARCHIVES d'histoire doctrinale et littèraire du Moyen Age$eVingt-deuxième et vingt-troisième annèes, 1947-1948 210 $aParis$cLibr. Phil. J.Vrin$d1948. 215 $a346 p.$d25 cm 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005112020403321 952 $aARCH.D'HISTOIRE 15$bBibl. 20945$fFLFBC 959 $aFLFBC 996 $aARCHIVES d'histoire doctrinale et littèraire du Moyen Age$9534948 997 $aUNINA LEADER 01416nam--2200385---450- 001 990003586390203316 005 20111107113430.0 010 $a978-88-557-0382-6 035 $a000358639 035 $aUSA01000358639 035 $a(ALEPH)000358639USA01 035 $a000358639 100 $a20111107d2011----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aAtti del 10. Congresso dell'Associazione italiana di linguistica applicata$eLingue e culture in contatto$ein memoria di Roberto Gusmani$eBolzano 18-19 febbraio 2010$fAItLA$ga cura di Raffaella Bombi ... [et al.] 210 $aPerugia$cGuerra$d2011 215 $a433 p.$d24 cm 225 2 $aPubblicazioni dell'Associazione italiana di linguistica applicata$v9 410 0$12001$aPubblicazioni dell'Associazione italiana di linguistica applicata$v3 517 1 $aLingue e culture in contatto: in memoria di Roberto Gusmani 606 0 $aMultilinguismo$xLinguistica$2BNCF 676 $a418 702 1$aBOMBI,$bRaffaella 702 1$aGUSMANI.$bRoberto 710 02$aAItLA$0434980 801 0$aIT$bsalbc$gISBD 912 $a990003586390203316 951 $aVI.3.D. 466$b6248 L.G.$cVI.3.D.$d00267676 959 $aBK 969 $aUMA 979 $aIANNONE$b90$c20111107$lUSA01$h1134 996 $aAtti del 10. Congresso dell'Associazione italiana di linguistica applicata$91135973 997 $aUNISA