02337nlm0 22006251i 450 9900092588004033219783540921882000925880FED01000925880(Aleph)000925880FED0100092588020100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Components and ObjectsRisorsa elettronica6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesedited 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, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul RoeverBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435382Documento elettronicoTestoFormato html, pdfBoer,Frank S.Bonsangue,Marcello M.Graf,SusanneHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Roever,Willem-PaulSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-92188-2EB990009258800403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods for Components and Objects772145UNINA