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 Objects772145UNINA01149nam2-2200373li-450 99000022438020331620180312154806.00-262-24029-70022438USA010022438(ALEPH)000022438USA01002243820001109d1990----km-y0itay0103----baengUSABCLan object-oriented concurrent systemedited by Akinori YonezawaCambridge (Mass.)The MIT Press,copyr. 1990XII, 329 p.ill.23 cmMIT Press series in computer systems000100224372001MIT Press series in computer systemselaborazione parallela00435MultielaborazioneYonezawa,AkinoriSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000224380203316004.35 ABC0001013BKTEC1991062420001110USA01171420020403USA011630PATRY9020040406USA011616ABCL1501104UNISA