Skip to main content Skip to footer content

Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski

Aug 29, 2018

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

445

Programming and Software Engineering

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783319997247

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Paperback
$80.50
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer Paperback
$80.50
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings

Frank de Boer Paperback
$87.95
2 formats available
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot Paperback
$80.50
Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Antonio Cerone Paperback
$124.50
2 formats available
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov Paperback
$204.50
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote Paperback
$116.95
2 formats available
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn Paperback
$94.95
2 formats available
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Valentina Casola Paperback
$80.50
2 formats available
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Paperback
$80.50
2 formats available
Distributed Computing: 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013, Proceedings

Yehuda Afek Paperback
$80.50
Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman Paperback
$175.50
2 formats available
HCI International 2020 - Late Breaking Posters: 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Constantine Stephanidis Paperback
$160.95
2 formats available
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Mar Alpuente Paperback
$80.50
Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Constantine Stephanidis Paperback
$160.95
2 formats available
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Paperback
$80.50
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available

Editorial reviews

Author

Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Paperback
$80.50
2 formats available
Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Paperback
$131.50
2 formats available
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Ezio Bartocci Paperback
$80.50
2 formats available
Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Holger Hermanns Paperback
$80.50
2 formats available
Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Paperback
$80.50
Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Michael Kirkedal Thomsen Paperback
$94.95
2 formats available
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Paperback
$80.50
Software Composition: 7th International Symposium, Sc 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

Cesare Pautasso Hardcover
$80.50
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Paperback
$80.50
2 formats available
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Kim Guldstrand Larsen Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Paperback
$80.50
2 formats available
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Paperback
$80.50
2 formats available
Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman Paperback
$175.50
2 formats available
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Paperback
$80.50
2 formats available
Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Paperback
$145.95
2 formats available
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Esther Guerra Paperback
$80.50
2 formats available
Mathematics Of Program Construction: 13th International Conference, Mpc 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Graham Hutton Paperback
$80.50
2 formats available
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Paperback
$116.95
2 formats available
Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Ivan Lanese Paperback
$80.50
2 formats available