Integrated Formal Methods by Einar Broch Johnsen (9783642386121)

Description - Integrated Formal Methods by Einar Broch Johnsen

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Buy Integrated Formal Methods by Einar Broch Johnsen from Australia's Online Independent Bookstore, BooksDirect.

Classification:
Computing & information technology »
Computer science »
Mathematical theory of computation »
Maths for computer scientists

A Preview for this title is currently not available.

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings 2013 ed.

Einar Broch Johnsen

Luigia Petre

Description - Integrated Formal Methods by Einar Broch Johnsen

(02) 9457 1190