Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings - Programming and Software Engineering 7041 (Paperback)
  • Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings - Programming and Software Engineering 7041 (Paperback)
zoom

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings - Programming and Software Engineering 7041 (Paperback)

(editor), (editor), (editor)
£72.00
Paperback 504 Pages / Published: 21/10/2011
  • 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 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642246890
Number of pages: 504
Weight: 771 g
Dimensions: 235 x 155 x 28 mm
Edition: 2011 ed.

You may also be interested in...

Design Patterns
Added to basket
£43.99
Hardback
User Stories Applied
Added to basket
£40.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
The Agile Samurai
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback
Git Pocket Guide
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Designing Data-Intensive Applications
Added to basket
Coaching Agile Teams
Added to basket
Clean Code
Added to basket
£36.99
Paperback
The Mythical Man-Month
Added to basket
Agile Product Management with Scrum
Added to basket
Peopleware
Added to basket
£32.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.