Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Theoretical Computer Science and General Issues, Band 13085) - Softcover

 
9783030921231: Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Theoretical Computer Science and General Issues, Band 13085)
Softcover
ISBN 10: 3030921239 ISBN 13: 9783030921231
Verlag: Springer, 2021

Inhaltsangabe

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.

The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution.


Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
3030921239
ISBN 13 
9783030921231
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
540
Herausgeber
Calinescu Radu, Păsăreanu Corina S.
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland