Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

445 Pages · 2012 · 7.37 MB · English
Download
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