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

536 Pages · 2011 · 11.63 MB · English
by Gordon S. Blair & Massimo Paolucci & Paul Grace & Nikolaos Georgantas (auth.) & Marco Bernardo & Valérie Issarny (eds.)
Download
“ The wound is the place where the Light enters you. ” ― Rumi
Similar Free eBooks
Load more similar PDF files
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: Should I live with no regrets, or learn from my mistakes? Next