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
Автор:
Marco Bernardo, Valerie Issarny
Наличност:
50% вероятност
Ще претърсим света
58.35
€
114.13 лв
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte...
