Get Free Shipping on orders over $79
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Leila Ribeiro

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

By: Leila Ribeiro (Editor), Thierry Lecomte (Editor)

Paperback | 13 November 2016

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

More in Business Mathematics & Systems

Positioning : The Battle for Your Mind - Al Ries

RRP $30.95

$24.99

19%
OFF
Difficult Conversations : How to Discuss What Matters Most - Douglas Stone
Business Analytics and Statistics : 2nd Edition - Ken Black

RRP $136.95

$119.75

13%
OFF
Business Statistics : 8th edition - Australia and New Zealand - Antony Selvanathan
Business Analytics : 3rd Global Edition - James Evans

RRP $146.95

$112.99

23%
OFF
DAMA-DMBOK : Data Management Body of Knowledge - DAMA International

RRP $137.49

$106.75

22%
OFF
Intermediate Financial Theory : 3rd Edition - Jean-Pierre Danthine

RRP $195.75

$190.99

Business Research Methods : 6th Edition - Alan ) Bryman

RRP $132.95

$109.75

17%
OFF
Artificial Intelligence For Dummies : For Dummies (Computer/Tech) - John Paul Mueller
Microsoft Power BI Dashboards Step by Step : Step by Step - Errin O'Connor
Business Statistics : 4th Global Edition - Norean Sharpe

RRP $154.30

$117.75

24%
OFF
Systems Analysis and Design, Global Edition : 10th edition - Julie Kendall