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
  • We can order this

Usually despatched within 2 weeks

  • This item has been added to your basket
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...

Coaching Agile Teams
Added to basket
Designing Data-Intensive Applications
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Agile Product Management with Scrum
Added to basket
Exercises in Programming Style
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Art of Agile Development
Added to basket
The Mythical Man-Month
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Design Patterns
Added to basket
£43.99
Hardback
Continuous Delivery
Added to basket
£43.99
Hardback
Domain-Driven Design
Added to basket
£55.99
Hardback
The Agile Samurai
Added to basket
Implementing Domain-Driven Design
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.