Top 174 conferences gatherings PDF Book Page 8
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Christel Baier, Cesare Tinelli (eds.)
·728 Pages
·2015
·19.196 MB
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.)
·603 Pages
·2005
·9.773 MB
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.)
·533 Pages
·2008
·11.967 MB
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce
Marsha Chechik, Jean-François Raskin (eds.)
·958 Pages
·2016
·30.802 MB
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
·408 Pages
·2011
·6.126 MB
