Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P

620 Pages · 2017 · 25.98 MB · English
by Axel Legay & Tiziana Margaria (eds.)
Download
“ The best time to plant a tree was 20 years ago. The second best time is now. ” ― Chinese Proverb
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: How can you make your life more meaningful, starting today? Next