Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bernardo, Marco (Editor), Issarny, Valérie (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Lecture Notes in Computer Science, 6659
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Mathematical logic.; Computer Science.; Software Engineering.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Information Systems Applications (incl. Internet).

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal...