Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Programming and Software Engineering 6447 (Paperback)
  • Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Programming and Software Engineering 6447 (Paperback)
zoom

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Programming and Software Engineering 6447 (Paperback)

(editor), (editor)
£103.50
Paperback 712 Pages / Published: 29/10/2010
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642169007
Number of pages: 712
Weight: 1016 g
Dimensions: 234 x 155 x 28 mm

You may also be interested in...

Design Patterns
Added to basket
£44.49
Hardback
Agile Product Management with Scrum
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Implementing Domain-Driven Design
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Coaching Agile Teams
Added to basket
The Mythical Man-Month
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Test Driven Development
Added to basket
Management 3.0
Added to basket
£40.49
Paperback
Clean Code
Added to basket
£36.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
The Agile Samurai
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.