Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

248 Pages · 2009 · 3.13 MB · English
by Sylvain Boulmé (auth.) & Jean-Raymond Abrial & Uwe Glässer (eds.)
Download
“ So many books, so little time. ” ― Frank Zappa
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
Pdfdrive:hope Give books away. Get books you want.
Ask yourself: What can I do today to live a better life tomorrow? Next