Bild von Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (eBook)

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (eBook)

Geben Sie eine Produktbewertung ab.

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Autor: Antonio (Hrsg.) Cerone

CHF 59.00

ISBN: 978-3-031-12429-7

Einband: PDF

Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)

Menge:

+ -

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.

The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.

SEFM 2021 presents the following four workshops:

CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;

CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;

OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;

ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.

Due to the Corona pandemic this event was held virtually.

Autor	Cerone, Antonio (Hrsg.) / Autili, Marco (Hrsg.) / Bucaioni, Alessio (Hrsg.) / Gomes, Cláudio (Hrsg.) / Graziani, Pierluigi (Hrsg.) / Palmieri, Maurizio (Hrsg.) / Temperini, Marco (Hrsg.) / Venture, Gentiane (Hrsg.)
Verlag	Springer International Publishing
Einband	PDF
Erscheinungsjahr	2022
Seitenangabe	350 S.
Ausgabekennzeichen	Englisch
Abbildungen	XI, 350 p. 109 illus., 82 illus. in color.
Auflage	1st ed. 2022

Über den Autor Antonio (Hrsg.) Cerone

Antonio Cerone, Nazarbayev University, Astana, Kazakhstan

Weitere Titel von Antonio (Hrsg.) Cerone

Cover-Bild zu Formal Methods for an Informal World (eBook)

Formal Methods for an Informal World (eBook) Springer International Publishing

PDF | 2023

CHF

59.00

Cover-Bild zu Formal Methods for Software Engineering

Formal Methods for Software Engineering Springer International Publishing

Kartonierter Einband (Kt) | 2023

CHF

76.00

Cover-Bild zu Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (eBook)

Software Engineering and Formal Methods. SEFM 2021 Springer International Publishing

PDF | 2022

CHF

59.00

Cover-Bild zu Formal Methods for Software Engineering (eBook)

Formal Methods for Software Engineering (eBook) Springer Nature Switzerland

PDF | 2022

CHF

65.00

Cover-Bild zu Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2021 Springer International Publishing

Kartonierter Einband (Kt) | 2022

CHF

69.00

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2021 (eBook)

Theoretical Aspects of Computing - ICTAC 2021 (eBo Springer International Publishing

PDF | 2021

CHF

88.50

Cover-Bild zu Formal Methods - Fun for Everybody (eBook)

Formal Methods - Fun for Everybody (eBook) Springer International Publishing

PDF | 2021

CHF

59.00

Cover-Bild zu Formal Methods ¿ Fun for Everybody

Formal Methods ¿ Fun for Everybody Springer International Publishing

Kartonierter Einband (Kt) | 2021

CHF

69.00

Cover-Bild zu Theoretical Aspects of Computing ¿ ICTAC 2021

Theoretical Aspects of Computing ¿ ICTAC 2021 Springer International Publishing

Kartonierter Einband (Kt) | 2021

CHF

103.00

Cover-Bild zu Software Engineering and Formal Methods (eBook)

Software Engineering and Formal Methods (eBook) Springer International Publishing

PDF | 2020

CHF

65.00

Cover-Bild zu Formal Methods. FM 2019 International Workshops (eBook)

Formal Methods. FM 2019 International Workshops (e Springer International Publishing

PDF | 2020

CHF

59.00

Cover-Bild zu Formal Methods. FM 2019 International Workshops (eBook)

Formal Methods. FM 2019 International Workshops (e Springer International Publishing

PDF | 2020

CHF

59.00

Cover-Bild zu Software Engineering and Formal Methods

Software Engineering and Formal Methods Springer International Publishing

Kartonierter Einband (Kt) | 2020

CHF

76.00

Cover-Bild zu Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops Springer International Publishing

Kartonierter Einband (Kt) | 2020

CHF

69.00

Cover-Bild zu Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops Springer International Publishing

Kartonierter Einband (Kt) | 2020

CHF

69.00

Cover-Bild zu Software Engineering and Formal Methods (eBook)

Software Engineering and Formal Methods (eBook) Springer International Publishing

PDF | 2018

CHF

87.50

Cover-Bild zu Information Technology and Open Source: Applications for Education, Innovation, and Sustainability (eBook)

Information Technology and Open Source: Applicatio Springer Berlin Heidelberg

PDF | 2014

CHF

59.00

Cover-Bild zu Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

Information Technology and Open Source: Applicatio Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2014

CHF

69.00

Cover-Bild zu Theoretical Aspects of Computing -- ICTAC 2011 (eBook)

Theoretical Aspects of Computing -- ICTAC 2011 (eB Springer Berlin Heidelberg

PDF | 2011

CHF

67.00

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2006 (eBook)

Theoretical Aspects of Computing - ICTAC 2006 (eBo Springer Berlin Heidelberg

PDF | 2006

CHF

59.00

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006 Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2006

CHF

69.00