Your Waterstones card is changing, introducing...
TELL ME MORE
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings - Lecture Notes in Computer Science 7504 (Paperback)
  • Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings - Lecture Notes in Computer Science 7504 (Paperback)
zoom

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings - Lecture Notes in Computer Science 7504 (Paperback)

(editor), (editor), (editor)
£44.99
Paperback 384 Pages / Published: 28/08/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642338250
Number of pages: 384
Weight: 611 g
Dimensions: 235 x 155 x 20 mm
Edition: 2012 ed.

You may also be interested in...

Design Patterns
Added to basket
£43.99
Hardback
Agile Product Management with Scrum
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
User Story Mapping
Added to basket
£27.99
Paperback
User Stories Applied
Added to basket
£40.99
Paperback
Git Pocket Guide
Added to basket
Clean Code
Added to basket
£36.99
Paperback
The Clean Coder
Added to basket
£32.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Continuous Delivery
Added to basket
£43.99
Hardback
The Agile Samurai
Added to basket
Peopleware
Added to basket
£32.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Coaching Agile Teams
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.