Get Free Shipping on orders over $89
Formal Methods : 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings - Marsha Chechik

Formal Methods

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

By: Marsha Chechik (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor)

Paperback | 8 March 2023

At a Glance

Paperback


$132.75

or 4 interest-free payments of $33.19 with

 or 

Ships in 10 to 15 business days

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. 

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Arduino For Dummies : Blackwell Philosophy Anthologies - John Nussey
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Architectural Approach to Level Design : Second edition - Christopher W.  Totten
The Art of Spyro : Reignited Trilogy - Micky Nielson

RRP $75.00

$55.75

26%
OFF
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari