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 / edited by Marco Bernardo, Valerie Issarny.

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bernardo, Marco (Editor), Issarny, Valerie (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:	1st ed. 2011.
Series:	Programming and Software Engineering ; 6659 Springer eBook Collection.
Subjects:	Software engineering. Mathematical logic. Programming languages (Electronic computers). Application software. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.