Code: 43418139

Formal Methods

Name: Formal Methods
Brand: Springer Nature B.V.
SKU: 43418139
Price: 56.94 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274824

by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

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 carefu ... more

Language: English
Binding: Paperback
Number of pages: 676
Publisher: Springer Nature B.V., 2023
More about this

56.94 €

RRP: 56.95 €

You save 0.01 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Holbein at the Tudor Court
28.62 € -24 %
Buy
Kakukkszó
18.10 € -14 %
Buy
Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music
8.99 € -6 %
Buy
Introducción: Diccionario etimológico crítico del Castellano
7.37 € -6 %
Buy
International Aid and China's Environment
127.45 €
Buy
Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde.
14.46 € -10 %
Buy
I guai di una seconda possibilit?
13.44 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 138 loyalty points

Book synopsis

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.

Book details

56.94 €

Full title: Formal Methods
Subtitle: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings
Author: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Language: English
Binding: Paperback
Number of pages: 676
EAN: 9783031274824
ID: 43418139
Publisher: Springer Nature B.V.
Weight: 970 g
Dimensions: 234 × 157 × 37 mm
Date of publishing: 08. March 2023