Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 9783031274800
Price: 100.0 EUR
Availability: InStock

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

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

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

100.00 €

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

Informácie o knihe

Autor

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2023

Stránok

676

EAN

9783031274800

Enbook ID

42849724

Vydavateľ

Springer, Berlin

Hmotnosť

929

Rozmery

155 x 235

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež