Get Free Shipping on orders over $79
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings - Marieke Huisman

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

By: Marieke Huisman (Editor), Corina PÄ?sÄ?reanu (Editor), Naijun Zhan (Editor)

Paperback | 10 November 2021

At a Glance

Paperback


$311.75

or 4 interest-free payments of $77.94 with

 or 

Ships in 5 to 10 business days

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.

The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.


More in Software Engineering

The Essence of Software Engineering - Cersei Page
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang