FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering 6664 (Paperback)
  • FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering 6664 (Paperback)
zoom

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering 6664 (Paperback)

(editor), (editor)
£72.00
Paperback 450 Pages / Published: 16/06/2011
  • Temporarily unavailable

Currently unavailable to order

Email me when available

Stay one step ahead and let us notify you when this item is next available to order

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642214363
Number of pages: 450
Weight: 703 g
Dimensions: 235 x 155 x 25 mm

You may also be interested in...

Peopleware
Added to basket
£33.49
Paperback
Test Driven Development
Added to basket
Coaching Agile Teams
Added to basket
Mythical Man-Month, The
Added to basket
Programming Erlang
Added to basket
£33.50
Paperback
Pro Git
Added to basket
£35.50
Paperback
The Lean Mindset
Added to basket
Clean Code
Added to basket
£38.99
Paperback
BDD in Action
Added to basket
£30.99
Paperback
Agile Product Management with Scrum
Added to basket
Mastering Regular Expressions
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Implementing Domain-Driven Design
Added to basket
Event Centric
Added to basket
£37.99
Hardback
Algorithmic Adventures
Added to basket

Please sign in to write a review

Your review has been submitted successfully.