Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

350 Pages · 2014 · 10.79 MB · English
by Marco Bernardo & Ferruccio Damiani & Reiner Hähnle & Einar Broch Johnsen & Ina Schaefer (eds.)
Download
“ Live as if you were to die tomorrow. Learn as if you were to live forever. ” ― Mahatma Gandhi
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: Do you find it easier to do things for other people than to do things for yourself? Next