01617nlm0 22004451i 450 9900092533904033219783540688556000925339FED01000925339(Aleph)000925339FED0100092533920100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Techniques for Networked and Distributed Systems – FORTE 2008Risorsa elettronica28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedingsedited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-FakihBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435048Documento elettronicoTestoFormato html, pdfEl-Fakih,KhaledHigashino,TeruoSuzuki,KenjiYasumoto,KeiichiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-68855-6EB990009253390403321Computer Communication NetworksComputer Communication NetworksComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Software engineeringSoftware EngineeringFormal Techniques for Networked and Distributed Systems – FORTE 2008774338UNINA