Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings - Bernd-Holger Schlingloff

Lecture Notes in Computer Science

20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

By: Bernd-Holger Schlingloff (Editor), Ming Chai (Editor)

Paperback | 21 September 2022

At a Glance

Paperback


$109.00

or 4 interest-free payments of $27.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 

More in Computer Programming & Software Development

ARM Assembly Language : Fundamentals and Techniques - Christopher  Hinds
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$49.99

33%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Swift : The Practical Guide - Kerem Koseoglu
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman