Get Free Shipping on orders over $79
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings - Elvira Albert

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

By: Elvira Albert (Editor), Emil Sekerinski (Editor)

Paperback | 15 September 2014

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 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
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
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston