02325nlm0 22006371i 450 9900092572204033219783540876038000925722FED01000925722(Aleph)000925722FED0100092572220100926d2008----km-y0itay50------baengDEdrnn-008mamaaAbstract State Machines, B and ZRisorsa elettronicaFirst International Conference, ABZ 2008, London, UK, September 16-18, 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, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul BocaBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435238Documento elettronicoTestoFormato html, pdfBoca,PaulBorger,EgonBowen,Jonathan P.Butler,MichaelHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-87603-8EB990009257220403321Computer scienceComputer ScienceDatabase managementDatabase ManagementLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringAbstract State Machines, B and Z774059UNINA