BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Fundamentals of Software Engineering
9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
Springer International Publishing
ISBN 978-3-030-89247-0
Standardpreis
Bibliografische Daten
eBook. PDF
2021
XII, 229 p. 40 illus., 14 illus. in color..
In englischer Sprache
Umfang: 229 S.
Verlag: Springer International Publishing
ISBN: 978-3-030-89247-0
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Programming and Software Engineering Lecture Notes in Computer Science
Produktbeschreibung
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.
The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Rezensionen
