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
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 waiting for someone else to solve my problems? Next