Get Free Shipping on orders over $79
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - Anna Philippou

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

By: Anna Philippou (Editor), Stefania Gnesi (Editor), John Fitzgerald (Editor), Constance Heitmeyer (Editor)

Paperback | 8 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 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The  broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.

More in Business Mathematics & Systems

Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Difficult Conversations : How to Discuss What Matters Most - Douglas Stone
Microsoft Power BI Dashboards Step by Step : Step by Step - Errin O'Connor
Positioning : The Battle for Your Mind - Al Ries

RRP $30.95

$24.99

19%
OFF
Health Information : 5th Edition - Management of a Strategic Resource - Mervat Abdelhak
Business Statistics : 4th Global Edition - Norean Sharpe

RRP $154.30

$117.75

24%
OFF
A Guide to the Business Analysis Body of Knowledge - BABOK - IIBY
Business Research Methods : 6th Edition - Emma Bell

RRP $127.95

$106.99

16%
OFF
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