Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods

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

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

Marsha Chechik

Joost-Pieter Katoen

Martin Leucker

Language

English

Book Paperback

Libristo code: 43418139

Publishers Springer Nature B.V., March 2023

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

Libristo code: 43418139

151 b

61.89 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

15.95 €

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

Paperback

7.99 €

I guai di una seconda possibilit? Alex McAnders

Paperback

14.99 €

Kakukkszó Robert Galbraith (J. K. Rowling)

Hardback

18.99 €

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.