Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods

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

Language EnglishEnglish
Book Paperback
Book Formal Methods Marsha Chechik
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
? points 145 b
21 132 Ft
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Zur Genese eines doppelten Geheimnisses - Homoerotik und Objekt der Begierde. Ann Drechsler / Book Paperback
common.buy 5 577 Ft
Introducción: Diccionario etimológico crítico del Castellano Javier Goitia Blanco / Book Paperback
common.buy 2 952 Ft
I guai di una seconda possibilit? Alex McAnders / Book Paperback
common.buy 5 563 Ft
Kakukkszó Robert Galbraith (J. K. Rowling) / Book Hardback
common.buy 7 082 Ft

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. 

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods
Author Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Language English
Binding Book - Paperback
Date of issue 2023
Number of pages 676
EAN 9783031274824
Libristo code 43418139
Publishers Springer Nature B.V.
Weight 970
Dimensions 157 x 234 x 37

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Colour of Injustice John Hostettler / Book Paperback
common.buy 9 537 Ft
Community of the College of Justice John Finlay / Book Paperback
common.buy 16 532 Ft
Live Theatre: Six Plays from the North East Cecil P. Taylor / Book Paperback
common.buy 13 976 Ft
International Aid and China's Environment Katherine Morton / Book Hardback
common.buy 50 452 Ft
Jase Marialisa Demora / Book Paperback
common.buy 6 705 Ft
Sonic the Hedgehog and The Beatles: A Comparative Analysis of the Games and Music David Childers / Book Paperback
common.buy 3 606 Ft
Holbein at the Tudor Court HEARD KATE / Book Hardback
common.buy 11 844 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?