Formal Methods for Eternal Networked Software Systems
Subtitle: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures
Publisher: Springer
Published: Jul 08, 2011
Format: paperback
Number of pages: 536
ISBN-13: 9783642214561
Notes: Source title: Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures