Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

469 Pages · 2009 · 5.19 MB · English
by Yann Thierry-Mieg & Denis Poitrenaud & Alexandre Hamez & Fabrice Kordon (auth.) & Stefan Kowalewski & Anna Philippou (eds.)
Download
“ Why complain about yesterday, when you can make a better tomorrow by making the most of today? ” ― Anonymous
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 I believe that everything is meant to be, or do I think that things just tend to happen for no reason at all? Next