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: InStock
Author: Alessio Bucaioni
ISBN: 9783031124280

Antonio Cerone Édition : Marco Autili , Alessio Bucaioni

25 septembre 2022

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

350

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031124280

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 Couverture souple
72,95 $
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Shiva Nejati Couverture souple
80,50 $
2 formats offerts
Digital Forensics and Watermarking: 22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers

Bin Ma Couverture souple
72,95 $
Digital Forensics and Watermarking: 22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers

Bin Ma Couverture souple
109,50 $
2 formats offerts
Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedin: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings

Katja Gilly Couverture souple
102,50 $
2 formats offerts
Digital Forensics And Watermarking: 18th International Workshop, Iwdw 2019, Chengdu, China, November 2-4, 2019, Revised Selected Papers

Hongxia Wang Couverture souple
116,95 $
2 formats offerts
Human Brain and Artificial Intelligence: Second International Workshop, HBAI 2020, Held in Conjunction with IJCAI-PRICAI 2020, Yokohama, Japan, January 7, 2021, Revised Selected Papers

Yueming Wang Couverture souple
80,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Couverture souple
175,50 $
2 formats offerts
Advances in Digital Forensics XV: 15th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 28-29, 2019, Revised Selected Papers

Gilbert Peterson Couverture souple
80,50 $
Advances in Conceptual Modeling: ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Tiago Prince Sales Couverture souple
109,50 $
2 formats offerts
Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Gilbert Peterson Couverture souple
204,50 $
Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Gilbert Peterson Couverture rigide
204,50 $
Combinatorial Optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers

Jon Lee Couverture souple
116,95 $
2 formats offerts
Discovery Science: 17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Sa Då¾eroski Couverture souple
80,50 $
Microelectronic Devices, Circuits and Systems: Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers

V. Arunachalam Couverture souple
160,95 $
2 formats offerts
Service-Oriented Computing - ICSOC 2020 Workshops: AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

Hakim Hacid Couverture souple
80,50 $
2 formats offerts
Data Engineering in Medical Imaging: First MICCAI Workshop, DEMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Binod Bhattarai Couverture souple
248,50 $
2 formats offerts
Predictive Intelligence in Medicine: 6th International Workshop, PRIME 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Islem Rekik Couverture souple
160,95 $
2 formats offerts
Predictive Intelligence in Medicine: 7th International Workshop, PRIME 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Islem Rekik Couverture souple
94,95 $
2 formats offerts
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Brian Malloy Couverture souple
80,50 $

Évaluation éditoriale

marco autili

Auteur

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 Couverture souple
175,50 $
2 formats offerts
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 Couverture souple
116,95 $
2 formats offerts
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 Couverture souple
65,95 $
2 formats offerts
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 Couverture souple
80,50 $
2 formats offerts
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 Couverture souple
72,95 $
Job Scheduling Strategies for Parallel Processing: 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Dalibor Klus Couverture souple
102,50 $
2 formats offerts
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual event, October 8-10, 2021, Revised Selected Papers

Carla Rocha Couverture souple
102,50 $
2 formats offerts
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Couverture souple
262,95 $
2 formats offerts
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Couverture souple
77,95 $
2 formats offerts
Agile Processes In Software Engineering And Extreme Programming - Workshops: Xp 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

Peggy Gregory Couverture souple
72,95 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
2 formats offerts
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,95 $
2 formats offerts
Evaluation Of Novel Approaches To Software Engineering: 16th International Conference, Enase 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers

Raian Ali Couverture souple
131,50 $
2 formats offerts
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Couverture souple
72,95 $
2 formats offerts
Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Emil Sekerinski Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Hermann Kaindl Couverture souple
131,50 $
2 formats offerts
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Ayoub Nouri Couverture souple
87,95 $
2 formats offerts
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

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

Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings

Digital Forensics and Watermarking: 22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers

Digital Forensics and Watermarking: 22nd International Workshop, IWDW 2023, Jinan, China, November 25-26, 2023, Revised Selected Papers

Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedin: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings

Digital Forensics And Watermarking: 18th International Workshop, Iwdw 2019, Chengdu, China, November 2-4, 2019, Revised Selected Papers

Human Brain and Artificial Intelligence: Second International Workshop, HBAI 2020, Held in Conjunction with IJCAI-PRICAI 2020, Yokohama, Japan, January 7, 2021, Revised Selected Papers

Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Advances in Digital Forensics XV: 15th IFIP WG 11.9 International Conference, Orlando, FL, USA, January 28-29, 2019, Revised Selected Papers

Advances in Conceptual Modeling: ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Advances in Digital Forensics XVII: 17th IFIP WG 11.9 International Conference, Virtual Event, February 1-2, 2021, Revised Selected Papers

Combinatorial Optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers

Discovery Science: 17th International Conference, DS 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

Microelectronic Devices, Circuits and Systems: Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers

Service-Oriented Computing - ICSOC 2020 Workshops: AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

Data Engineering in Medical Imaging: First MICCAI Workshop, DEMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Predictive Intelligence in Medicine: 6th International Workshop, PRIME 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Predictive Intelligence in Medicine: 7th International Workshop, PRIME 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, 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

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

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

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

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

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

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

Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

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

Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

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

Evaluation of Novel Approaches to Software Engineering: 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

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

Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers