Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

186 Pages · 2013 · 5.8 MB · English
by Boris Köpf & Andrey Rybalchenko (auth.) & Marco Bernardo & Erik de Vink & Alessandra Di Pierro & Herbert Wiklicky (eds.)
Download
“ Every block of stone has a statue inside it and it is the task of the sculptor to discover it. ” ― Michelangelo
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: How am I spending too much time on things that aren't my priorities? Next