Formal Methods for Eternal Networked Software Systems
Subtitle: 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
By: edited by Marco Bernardo, Valérie Issarny
Contributors: Issarny, Valérie; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6659
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642214547; 9783642214554
Subjects: Information systems; Computer science; Software engineering