BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Formal Methods and Software Engineering
27th International Conference on Formal Engineering Methods, ICFEM 2026, Southampton, UK, November 17–20, 2026, Proceedings
Springer
ISBN 9789819280438
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2026
130 s/w-Abbildungen.
In englischer Sprache
Umfang: xx, 447 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 9789819280438
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Produktbeschreibung
This LNCS volume constitutes the refereed proceedings of 27th International Conference on Formal Methods and Software Engineering, ICFEM 2026, held in Southampton, UK, during November 17–20, 2026. The 22 full papers presented in these volumes were carefully reviewed and selected from 63 submissions. ICFEM gathers researchers and practitioners interested in the recent advancement in the use and development of formal methods and tools for dependable software and system construction. It records the latest developments in formal engineering methods.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
