Formal Methods and Software Engineering, Kartoniert / Broschiert
Formal Methods and Software Engineering
Buch
- 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
deliverable within 2-3 weeks (if available from supplier)
Previous price EUR 98.56, reduced by 44%
Current price: EUR 54.75
Shipping
(United States of America): EUR 19.90
- Publisher:
- Shengchao Qin, Zongyan Qiu
- Publisher:
- Springer, 10/2011
- Binding:
- Kartoniert / Broschiert, Paperback
- Language:
- Englisch
- ISBN-13:
- 9783642245589
- Item number:
- 9904885
- Volume:
- 684 Pages
- Copyright-Jahr:
- 2011
- Weight:
- 1012 g
- Format:
- 238 x 157 mm
- Thickness:
- 38 mm
- Release date:
- 12.10.2011
- Note
-
Caution: Product is not in German language
Other releases of Formal Methods and Software Engineering |
Price |
|---|
Blurb
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Formal Methods and Software Engineering
Previous price EUR 98.56, reduced by 44%
Current price: EUR 54.75
