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

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

535 Pages · 2011 · 9.44 MB · English
by Gordon S. Blair & Massimo Paolucci & Paul Grace & Nikolaos Georgantas (auth.) & Marco Bernardo & Valérie Issarny (eds.)
Download
“ Life is not meant to be easy, my child; but take courage: it can be delightful. ” ― George Bernard Shaw
Similar Free eBooks
PDF Drive investigated dozens of problems and listed the biggest global issues facing the world today. Let's Change The World Together
4300万本书和9800万篇文章。
Ask yourself: If you could go back and fix a relationship with someone, who would it be and why? Next