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: 60.99 CAD
Availability: InStock
Author: Antonio Cerone
ISBN: 9783031124297

Edited by Antonio Cerone

Oct 31, 2022

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

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Lecture Notes In Computer Science

Publisher: Springer International Publishing

ISBN: 9783031124297

Smart Graphics: 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26 Proceedings

Robyn Taylor Paperback
$80.50
High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Calebe Bianchini 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: Workshops Of Esocc 2013, Malaga, Spain, September 11-13, 2013, Revised Selected Papers

Carlos Canal Paperback
$80.50
Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Paperback
$71.50
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers

Maria Fazio Paperback
$80.50
2 formats available
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Maurizio Gabbrielli Paperback
$80.50
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 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
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Paperback
$80.50
Object-Oriented Technology: ECOOP 2000 Workshop Reader: ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings

Jacques Malenfant Paperback
$80.50
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
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 Computer Graphics: 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6-10, 2021, Proceedings

Nadia Magnenat-Thalmann Paperback
$175.50
2 formats available
Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Khalil Drira Paperback
$80.50
2 formats available
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
Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Hans-georg Fill Paperback
$124.50
2 formats available
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Paperback
$124.50
2 formats available
Software Technologies: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Paper: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Hans-georg Fill Paperback
$72.95

Editorial reviews

antonio cerone

Author

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Ayoub Nouri Paperback
$87.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
$65.95
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 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
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Paperback
$124.50
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
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
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
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Paperback
$102.50
2 formats available
Computer and Communication Engineering: 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Filippo Neri Paperback
$116.95
2 formats available
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

Emil Sekerinski Paperback
$80.50
2 formats available
OpenMP: Advanced Task-Based, Device and Compiler Programming: 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

Simon Mcintosh-smith Paperback
$94.95
2 formats available
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: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Paperback
$131.50
2 formats available
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Paperback
$80.50
2 formats available
Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

Jean-Christophe Deneuville Paperback
$87.95
2 formats available
Heterogeneous Data Management, Polystores, and Analytics for Healthcare: VLDB Workshops, Poly 2022 and DMAH 2022, Virtual Event, September 9, 2022, Revised Selected Papers

El Kindi Rezig Paperback
$87.95
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: 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26 Proceedings

High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, 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: Workshops Of Esocc 2013, Malaga, Spain, September 11-13, 2013, Revised Selected Papers

Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Smart Graphics: 13th International Symposium, Sg 2015, Chengdu, China, August 26-28, 2015, 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

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Object-Oriented Technology: ECOOP 2000 Workshop Reader: ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings

Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 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 Computer Graphics: 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6-10, 2021, Proceedings

Service-Oriented Computing - ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

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

Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Software Technologies: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Paper: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, 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 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, 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

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

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

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

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

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

Computer and Communication Engineering: 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part Ii

OpenMP: Advanced Task-Based, Device and Compiler Programming: 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

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

Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers

Heterogeneous Data Management, Polystores, and Analytics for Healthcare: VLDB Workshops, Poly 2022 and DMAH 2022, Virtual Event, September 9, 2022, Revised Selected Papers