Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Computer Science and General Issues) - Tapa blanda

 
9783030719944: Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Computer Science and General Issues)
Tapa blanda
ISBN 10: 3030719944 ISBN 13: 9783030719944
Editorial: Springer, 2021

Sinopsis

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

 

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

This open access book constitutes the proceedings of the 24th&nbsp;International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.&nbsp;The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.<p></p><p>The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions.&nbsp;They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.<br></p><p></p><p>&nbsp;</p>

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2021
Idioma
Inglés
ISBN 10 
3030719944
ISBN 13 
9783030719944
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
592
Editor
Kiefer Stefan, Tasson Christine
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Alemania