Formal Methods (eBook, PDF)
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Redaktion: Chechik, Marsha; Leucker, Martin; Katoen, Joost-Pieter
Alle Infos zum eBook verschenken
Formal Methods (eBook, PDF)
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Redaktion: Chechik, Marsha; Leucker, Martin; Katoen, Joost-Pieter
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 27.05MB
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer Nature Switzerland
- Seitenzahl: 659
- Erscheinungstermin: 2. März 2023
- Englisch
- ISBN-13: 9783031274817
- Artikelnr.: 67558040
- Verlag: Springer Nature Switzerland
- Seitenzahl: 659
- Erscheinungstermin: 2. März 2023
- Englisch
- ISBN-13: 9783031274817
- Artikelnr.: 67558040
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.