02229nlm0 22006131i 450 9900092582404033219783540893301000925824FED01000925824(Aleph)000925824FED0100092582420100926d2008----km-y0itay50------baengDEdrnn-008mamaaProgramming Languages and SystemsRisorsa elettronica6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsedited 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, G. RamalingamBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435356Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Ramalingam,G.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-89330-1EB990009258240403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringProgramming Languages and Systems772032UNINA