Opening book details…
About this nonfiction
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings by Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)
- Publisher
- Springer
- Published
- 2012
- Language
- EN
- Category
- nonfiction
More by Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)
Similar books
- Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings — Markus Müller-Olm, Helmut Seidl (2014)
- Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings — E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (2011)
- Static Analysis: 26th International Symposium, Sas 2019, Porto, Portugal, October 8-11, 2019, Proceedings (lecture Notes In Computer Science) — Bor-Yuh Evan Chang (2019)
- Cyberspace Safety and Security : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, Proceedings — Fengling Han, Ron van Schyndel (auth.), Yang Xiang, Javier Lopez, C.-C. Jay Kuo, Wanlei Zhou (2012)
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science Book 9291) — Thomas Jensen Sandrine Blazy (2015)
- Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science Book 9837) — Xavier Rival (2016)