FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Programming and Software Engineering 7436 (Paperback)
  • FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Programming and Software Engineering 7436 (Paperback)
zoom

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Programming and Software Engineering 7436 (Paperback)

(editor), (editor)
£59.99
Paperback 488 Pages / Published: 21/07/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642327582
Number of pages: 488
Weight: 765 g
Dimensions: 235 x 155 x 25 mm
Edition: 2012 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Coaching Agile Teams
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Design Patterns
Added to basket
£44.49
Hardback
Agile Testing
Added to basket
£44.49
Paperback
The Agile Samurai
Added to basket
Beyond Software Architecture
Added to basket
Exercises in Programming Style
Added to basket
The Agile Culture
Added to basket
The Mythical Man-Month
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Test Driven Development
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Agile Product Management with Scrum
Added to basket
Kanban
Added to basket
£33.55
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.