Code: 42849724

Formal Methods

Name: Formal Methods
Brand: Springer, Berlin
SKU: 42849724
Price: 102.67 EUR
Availability: InStock
Author: Marsha Chechik
ISBN: 9783031274800

by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Language: English
Binding: Paperback
Number of pages: 676
Publisher: Springer, Berlin, 2023
More about this

102.67 €

RRP: 111.27 €

You save 8.60 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Blades Carry Me: Inside the Helicopter War in Vietnam
14.92 € -6 %
Buy
Štedrovečerné rozprávky
4.23 € -30 %
Buy
Life in Half a Second
11.49 € -44 %
Buy
PC-7M popisovač Posca, 4,5-5,5 mm, černý (24)
3.62 € -31 %
Buy
Locke & Key
38.62 €
Buy
I love Kawaii. El arte japonés de para dibujar cosas dulces
12.60 € -3 %
Buy
The Last Exchange
23.09 € -22 %
Buy
Quaking of America
14.01 € -25 %
Buy
Fairground Attraction: A debut poetry collection
8.97 € -6 %
Buy
Linear Algebra: Examples And Applications
125.67 € -4 %
Buy
Moins un
11.39 €
Buy
Cadena de oro
9.77 €
Buy
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult
8.87 € -11 %
Buy
Integrity in Depth
16.73 € -25 %
Buy
Basics Schallschutz
23.39 € -15 %
Buy
Taste Your Emotions
10.58 € -25 %
Buy
The Cohort
21.07 € -1 %
Buy
Die Closer To Me
14.82 € -24 %
Buy
Screen Acting
60.81 €
Buy
Holy Ghost Tales: Vol 1
14.92 € -6 %
Buy
A History Of The Great Massacre By The Sioux Indians, In Minnesota
51.53 € -2 %
Buy
La Ligue de Salut
13 € -1 %
Buy
Leatherface
32.87 € -14 %
Buy
Trace et disparition
18.85 € -12 %
Buy
Accidental Christian
22.28 € -25 %
Buy
Bonjour Pansori
30.96 €
Buy
Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885.
22.18 € -24 %
Buy
Bimladadi's Dream
8.97 € -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 249 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

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

102.67 €

Full title: Formal Methods
Subtitle: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Language: English
Binding: Paperback
Number of pages: 676
EAN: 9783031274800
ID: 42849724
Publisher: Springer, Berlin
Weight: 929 g
Dimensions: 235 × 155 mm
Date of publishing: 05. April 2023