Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 9783031274800
Price: 423.49 PLN
Availability: InStock

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Autor: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

423.49 zł

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods...

Informacje o książce

Autor

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2023

strony

676

EAN

9783031274800

Enbook ID

42849724

Wydawca

Springer, Berlin

Waga

929

Wymiary

155 x 235

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również