Formal Methods, Kartoniert / Broschiert
Formal Methods
Buch
- 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 26.6.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Aktueller Preis: EUR 52,64
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Augusto Sampaio, Marielle Stoelinga
- Verlag:
- Springer Nature Switzerland AG, 06/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032262035
- Artikelnummer:
- 12717182
- Umfang:
- 651 Seiten
- Erscheinungstermin:
- 26.6.2026
- Serie:
- Lecture Notes in Computer Science
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18--22, 2026.
The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:
Part I: Invited Papers; and Main Track (1)
Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track
Formal Methods
Aktueller Preis: EUR 52,64
