Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Formal Methods Marsha Chechik

Formal Methods

25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

Autor: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer Nature B.V.
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
55.30 €
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
9783031274824
Enbook ID
43418139
Vydavateľ
Springer Nature B.V.
Hmotnosť
970
Rozmery
157 x 234 x 37

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ť

Colour of Injustice

John Hostettler
23.08 €

Community of the College of Justice

John Finlay
42.82 €

Live Theatre: Six Plays from the North East

Cecil P. Taylor
36.54 €

International Aid and China's Environment

Katherine Morton
123.78 €

Jase

Marialisa Demora
16.20 €

Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music

David Childers
8.73 €

Holbein at the Tudor Court

HEARD KATE
27.79 €

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

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde.

Ann Drechsler
14.04 €

Introducción: Diccionario etimológico crítico del Castellano

Javier Goitia Blanco
7.16 €

I guai di una seconda possibilit?

Alex McAnders
13.06 €

Kakukkszó

Robert Galbraith (J. K. Rowling)
17.58 €