Formal Methods for Eteal Networked Software Systems: 11th Inteational School on Formal Methods for the Design of Computer, Communication and .. / Programming and Software Engineering)
Hardcover: 535 pages
Publisher: Springer (July 20, 2011)
Language: English
ISBN-10: 3642214541