Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
TaschenbuchKartoniert, Paperback
652 Seiten
Englisch
Springererscheint am21.10.20242025
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.mehr
Verfügbare Formate
TaschenbuchKartoniert, Paperback
EUR160,49
TaschenbuchKartoniert, Paperback
EUR42,79

Produkt

KlappentextThe open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
Details
ISBN/GTIN978-3-031-71176-3
ProduktartTaschenbuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2024
Erscheinungsdatum21.10.2024
Auflage2025
ReiheLecture Notes in Computer Science
Seiten652 Seiten
SpracheEnglisch
IllustrationenXXII, 652 p. 193 illus., 170 illus. in color.
Artikel-Nr.56540754

Schlagworte