FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering - Cliff Jones - Books - Springer International Publishing AG - 9783319064093 - April 9, 2014
In case cover and title do not match, the title is correct

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

Cliff Jones

Price
A$ 185.49

Ordered from remote warehouse

Expected delivery Nov 20 - Dec 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Programming and Software Engineering 2014 edition

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

750 pages, 185 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 9, 2014
ISBN13 9783319064093
Publishers Springer International Publishing AG
Pages 750
Dimensions 155 × 235 × 39 mm   ·   1.06 kg
Language French  
Editor Jones, Cliff
Editor Pihlajasaari, Pekka
Editor Sun, Jun
Show all

More by Cliff Jones

See all of Cliff Jones ( e.g. Paperback Book and Hardcover Book )