Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 9783031274800
Price: 2286 CZK
Availability: InStock

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

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2023

Stránek

676

EAN

9783031274800

Enbook ID

42849724

Vydavatel

Springer, Berlin

Hmotnost

929

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také