Opening book details…
Can I read Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422) on EtoBox?
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422) by Francesco Ranzato,David Hutchison,Takeo Kanade,Josef Kittler,Jon M. Kleinberg,Friedemann Mattern,John C. Mitchell,Moni Naor,C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos,Doug Tygar,Gerhard Weikum is a nonfiction available to read on EtoBox.
What is Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422) about?
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.
Who reads Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Francesco Ranzato,David Hutchison,Takeo Kanade,Josef Kittler,Jon M. Kleinberg,Friedemann Mattern,John C. Mitchell,Moni Naor,C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos,Doug Tygar,Gerhard Weikum
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2017
- Language
- EN
- ISBN
- 9783319667065
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Francesco Ranzato,David Hutchison,Takeo Kanade,Josef Kittler,Jon M. Kleinberg,Friedemann Mattern,John C. Mitchell,Moni Naor,C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos,Doug Tygar,Gerhard Weikum
Similar books
- Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science) — Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (2009)
- Static Analysis: 19th International Symposium, Sas 2012, Deauville, France, September 11-13, 2012. Proceedings (lecture Notes In Computer Science) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (2012)
- Static Analysis: 26th International Symposium, Sas 2019, Porto, Portugal, October 8-11, 2019, Proceedings (lecture Notes In Computer Science) — Bor-Yuh Evan Chang (2019)
- Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science) — Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (2008)
- 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)