• Home /
  • Formal Methods and Software Engineering (eBook)

Formal Methods and Software Engineering (eBook)

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Artikelnummer: 978-981-9542-13-0
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 87.50
decrease increase

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.

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.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer Nature Singapore
EinbandPDF
Erscheinungsjahr2025
Seitenangabe392 S.
AusgabekennzeichenEnglisch
AbbildungenXX, 392 p. 108 illus., 76 illus. in color.
Masse24'290 KB
PlattformPDF
ReiheLecture Notes in Computer Science; Computer Science; Computer Science ; Springer Nature Proceedings Computer Science
AutorAndré, Étienne (Hrsg.) / Wang, Jingyi (Hrsg.) / Zhan, Naijun (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Computer Science; Computer Science (R0); Springer Nature Proceedings Computer Science"

Weitere Titel von Étienne (Hrsg.) André

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten