Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Methods Marsha Chechik

Formal Methods

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

Автор: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Език: Английски език
Корици: С меки корици
Издател: Springer Nature B.V.
Наличност: Външен склад
Изпращаме след 10-18 дни
57.99 € 113.42 лв
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods...

Информация за книгата

Автор
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Език
Английски език
Корици
Книга - С меки корици
Издадена
2023
страници
676
EAN
9783031274824
Enbook ID
43418139
Издател
Springer Nature B.V.
Теглоt
970
Размери
157 x 234 x 37

Пълно описание

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. 

Може също да ви хареса

Colour of Injustice

John Hostettler
24.28 € 47.48 лв

Community of the College of Justice

John Finlay
45.35 € 88.69 лв

Live Theatre: Six Plays from the North East

Cecil P. Taylor
38.37 € 75.05 лв

International Aid and China's Environment

Katherine Morton
129.33 € 252.95 лв

Jase

Marialisa Demora
17.00 € 33.25 лв

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

David Childers
9.13 € 17.85 лв

Holbein at the Tudor Court

HEARD KATE
29.59 € 57.88 лв

Клиенти, които купиха тази книга, купиха също

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

Ann Drechsler
14.80 € 28.94 лв

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

Javier Goitia Blanco
7.47 € 14.61 лв

I guai di una seconda possibilit?

Alex McAnders
13.84 € 27.07 лв

Kakukkszó

Robert Galbraith (J. K. Rowling)
18.61 € 36.39 лв