Formal Methods and Software Engineering, Kartoniert / Broschiert

Formal Methods and Software Engineering

Buch

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 81,04

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Étienne André, Jingyi Wang, Naijun Zhan
Verlag:: Springer, 11/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9789819542123
Artikelnummer:: 12833516
Umfang:: 416 Seiten
Gewicht:: 628 g
Maße:: 235 x 155 mm
Stärke:: 23 mm
Erscheinungstermin:: 12.11.2025
Serie:: Lecture Notes in Computer Science - Band 16229
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10--13, 2025.

The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.