Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Name: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Price: 60.99 CAD
Availability: InStock
Author: Loek Cleophas
ISBN: 9783030672201

Edited by Loek Cleophas

Jan 16, 2021

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Programming and Software Engineering

Publisher: Springer International Publishing

ISBN: 9783030672201

Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Javier Esparza Paperback
$80.50
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

David England Paperback
$80.50
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Paperback
$72.95
Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers

Christian Zirpins Paperback
$102.50
2 formats available
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

Giancarlo Guizzardi Paperback
$80.50
2 formats available
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Alexander Lazovik Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Paperback
$80.50
2 formats available
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Paperback
$80.50
2 formats available
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Aleksander Byrski Paperback
$80.50
2 formats available
High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Edoardo Di Napoli Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$94.95
2 formats available
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Jean-pierre Jouannaud Paperback
$80.50
Programming Languages And Systems: 16th Asian Symposium, Aplas 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

Sukyoung Ryu Paperback
$80.50
2 formats available
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$58.50
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Marco Aiello Paperback
$94.95
2 formats available
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Pedro Ribeiro Paperback
$80.50
2 formats available
Advances in Computing and Data Sciences: 5th International Conference, ICACDS 2021, Nashik, India, April 23-24, 2021, Revised Selected Papers, Part I

Mayank Singh Paperback
$189.95
2 formats available
Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

Anthony Bonato Paperback
$80.50
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available
Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012, Revised Selected Papers

Gianni A. Di Caro Paperback
$80.50
2 formats available

Editorial reviews

loek cleophas

Author

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Javier Camara Paperback
$116.95
2 formats available
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Paperback
$80.50
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Paperback
$65.95
2 formats available
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Alessandro Aldini Paperback
$72.95
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
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
Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers

Marten van Sinderen Paperback
$80.50
2 formats available
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder Paperback
$105.50
Process Mining Workshops: Icpm 2020 International Workshops, Padua, Italy, October 5-8, 2020, Revised Selected Papers

Sander Leemans Paperback
$124.50
2 formats available
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Ron van der Meyden Paperback
$80.50
Multi-agent-based Simulation Xxii: 22nd International Workshop, Mabs 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers

Koen H. van Dam Paperback
$87.95
2 formats available
Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Henk Schepers Paperback
$80.50
Machine Learning and Data Mining for Sports Analytics: 7th International Workshop, MLSA 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings

Ulf Brefeld Paperback
$80.50
2 formats available
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

Philippe Kruchten Paperback
$58.50
Artificial Intelligence and Machine Learning: 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8-10, 2023, Revised Selected Papers

Frans A. Oliehoek Paperback
$116.95
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Roel Wieringa Paperback
$80.50
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Paper: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Hans-georg Fill Paperback
$131.50
2 formats available
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Floor Koornneef Paperback
$80.50
Artificial Intelligence and Machine Learning: 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers

Toon Calders Paperback
$94.95
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Overview

You May Also Like

Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers

Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceeding: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Programming Languages And Systems: 16th Asian Symposium, Aplas 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Advances in Computing and Data Sciences: 5th International Conference, ICACDS 2021, Nashik, India, April 23-24, 2021, Revised Selected Papers, Part I

Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Process Mining Workshops: Icpm 2020 International Workshops, Padua, Italy, October 5-8, 2020, Revised Selected Papers

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Multi-agent-based Simulation Xxii: 22nd International Workshop, Mabs 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers

Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings

Machine Learning and Data Mining for Sports Analytics: 7th International Workshop, MLSA 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings

Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

Artificial Intelligence and Machine Learning: 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8-10, 2023, Revised Selected Papers

Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Paper: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Artificial Intelligence and Machine Learning: 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings