Formal Methods, Kartoniert / Broschiert
Formal Methods
Buch
- 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 43,80
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Augusto Sampaio, Marielle Stoelinga
- Verlag:
- Springer, 05/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032262035
- Artikelnummer:
- 12717182
- Umfang:
- 696 Seiten
- Gewicht:
- 1036 g
- Maße:
- 235 x 155 mm
- Stärke:
- 38 mm
- Erscheinungstermin:
- 18.5.2026
- Serie:
- Lecture Notes in Computer Science - Band 16556
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Formal Methods |
Preis |
|---|---|
| Buch, Kartoniert / Broschiert, Englisch | EUR 117,25* |
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 43,80
