Get Free Shipping on orders over $79
Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings - Marius Minea

Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

By: Marius Minea (Editor), Sergio Campos (Editor)

Paperback | 26 November 2021

At a Glance

Paperback


$89.99

or 4 interest-free payments of $22.50 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman