01572nlm0 22004451i 450 9900092505504033219783540367505000925055FED01000925055(Aleph)000925055FED0100092505520100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Components and ObjectsRisorsa elettronica4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesedited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, WillemBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434111Documento elettronicoTestoFormato html, pdfBoer,Frank S.Bonsangue,Marcello M.Graf,SusanneRoever,Willem-PaulITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11804192EB990009250550403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods for Components and Objects772145UNINA