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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formal Methods

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

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, March 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Full description
? points 291 b
119.62 €
In stock Immediate digital delivery

Customers also purchased

Alexander von Humboldt Karl Bruhns / Book Paperback
common.buy 29.26 €
Am Ende nur du Sarah Stankewitz / Book Hardback
common.buy 16.99 €
Cristobal Colon, Drama Historico En Cuatro Actos Y En Verso Original Segunda Edicion / Book Paperback
common.buy 16.38 €
Der Markomannen Bund und Rom im 1.Jh. Walter Krüger / Book Paperback
common.buy 21.61 €
Principesse Disney. Unisco i puntini / Book Sheet
common.buy 6.23 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, 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 E-book - Adobe ePub DRM
Date of issue 2023
EAN 9783031274817
Libristo code 44987911
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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

de Febrero Por Tu Amor Yornis Cobas Matos / Book Paperback
common.buy 11.25 €

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?