Del 0 - Lecture Notes in Computer Science
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Häftad, Engelska, 2024
579 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2024-09-11
- Mått155 x 235 x 38 mm
- Vikt1 048 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor680
- Upplaga2025
- FörlagSpringer International Publishing AG
- ISBN9783031711619
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9360
Correct System Design
Roland Meyer, André Platzer, Heike Wehrheim, Andre Platzer, Heike Platzer, André
Häftad
659 kr
Del 12699
Automated Deduction – CADE 28
André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André
Häftad
579 kr
- Nyhet
- Nyhet
- Nyhet