Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Name: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Price: 80.50 CAD
Availability: In_Stock
Author: Alessio Bucaioni
ISBN: 9783031124280

Antonio Cerone Edited by Marco Autili , Alessio Bucaioni

Sep 25, 2022

$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

350

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031124280

Smart Graphics: 13th International Symposium, Sg 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers

Yaxi Chen Paperback
$80.50
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
Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Mark van den Brand Paperback
$80.50
Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Christian Attiogb Paperback
$80.50
2 formats available
Programming Languages And Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

Bruno C. D. S. Oliveira Paperback
$80.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

Loek Cleophas Paperback
$80.50
2 formats available
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, September 29- October 4, 2013, Proceedings

Andre Rauber Du Bois Paperback
$106.95
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Fernando Magno Quintao Pereira Paperback
$65.95
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
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paolo Masci Paperback
$175.50
2 formats available
Smart Graphics: 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26 Proceedings

Robyn Taylor Paperback
$80.50
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
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda Paperback
$80.50
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Chung-Kil Hur Paperback
$58.50
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Chung-Kil Hur Paperback
$94.95
2 formats available
Programming Languages And Systems: 7th Asian Symposium, Aplas 2009, Seoul, Korea, December 14-16, 2009, Proceedings

Zhenjiang Hu 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
Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Juergen Dingel Paperback
$80.50
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 Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Paperback
$87.95
2 formats available

Editorial reviews

marco autili

Author

Parallel Architectures, Algorithms and Programming: 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers

Hong Shen Paperback
$76.50
2 formats available
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Paolo Masci Paperback
$175.50
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
$65.95
2 formats available
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
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Loek Cleophas Paperback
$80.50
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
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Paperback
$102.50
2 formats available
Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

Peggy Gregory Paperback
$72.95
2 formats available
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Paperback
$116.95
2 formats available
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Paperback
$77.95
2 formats available
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Manuel Mazzara Paperback
$80.50
2 formats available
Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

Maria Paasivaara Paperback
$87.95
2 formats available
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Paperback
$102.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
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klus Paperback
$102.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Paperback
$80.50
2 formats available
Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Wolfgang Ahrendt Paperback
$80.50
2 formats available
Benchmarking, Measuring, and Optimizing: 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Ana Gainaru Paperback
$87.95
2 formats available
Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Raian Ali Paperback
$131.50
2 formats available
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Paperback
$124.50
2 formats available

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Overview

You May Also Like

Smart Graphics: 13th International Symposium, Sg 2015, Chengdu, China, August 26-28, 2015, 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 Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Model And Data Engineering: 10th International Conference, Medi 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

Programming Languages And Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

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

Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, September 29- October 4, 2013, Proceedings

Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

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

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Smart Graphics: 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26 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

Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Programming Languages And Systems: 7th Asian Symposium, Aplas 2009, Seoul, Korea, December 14-16, 2009, Proceedings

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

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and 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 Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Parallel Architectures, Algorithms and Programming: 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, 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 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, 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: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Integrated Formal Methods: 15th International Conference, Ifm 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Benchmarking, Measuring, and Optimizing: 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers