01649nlm0 22004571i 450 9900092621604033219783642041679000926216FED01000926216(Aleph)000926216FED0100092621620100926d2009----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Components and ObjectsRisorsa elettronica7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lecturesedited by Frank S. Boer, Marcello M. Bonsangue, Eric MadelaineBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435751Documento elettronicoTestoFormato html, pdfBoer,Frank S.Bonsangue,Marcello M.Madelaine,EricITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04167-9EB990009262160403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringSoftware Engineering/Programming and Operating SystemsFormal Methods for Components and Objects772145UNINA