Get Free Shipping on orders over $79
Formal Methods : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings - José Fiadeiro

Formal Methods

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

By: José Fiadeiro (Editor), Simone Cavalheiro (Editor)

Paperback | 12 November 2017

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 Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
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
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Tidy First? : A Personal Exercise in Empirical Software Design - Kent Beck
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman