Opening book details…
Can I read Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science) on EtoBox?
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science) by Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.) is a computer science book available to read on EtoBox.
What is Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science) about?
This book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005). The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape
Who reads Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2005
- Language
- EN
- ISBN
- 9783540285847
- Category
- computer science
- Subjects
- Engineering, Language Learning, Programming
- Updated
- 2026-03-25
Other editions & translations
More by Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)
Browse all works by Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)
Similar books
- Logic Based Program Synthesis And Transformation: 15th International Symposium, Lopstr 2005, London, Uk, September 7-9, 2005, Revised Selected Papers (lecture Notes In Computer Science) — François Fages (auth.), Patricia M. Hill (2006)
- 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: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science, 983) — David A. Schmidt (auth.), Alan Mycroft (1995)
- Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Lecture Notes in Computer Science, 864) — Thomas W. Getzinger (auth.), Baudouin Le Charlier (1994)
- 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: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (lecture Notes In Computer Science) — Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (1996)
