01574nlm0 22004451i 450 9900092379704033219783540319399000923797FED01000923797(Aleph)000923797FED0100092379720100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Components and ObjectsRisorsa elettronicaThird International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesedited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, WillemBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433657Documento elettronicoTestoFormato html, pdfBoer,Frank S.Bonsangue,Marcello M.Graf,SusanneRoever,Willem-PaulITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11561163EB990009237970403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods for Components and Objects772145UNINA