Spara
Formal Methods and Software Engineering
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering.
- Undertitel
- 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
- Redaktör
- Shaoying Liu, Tom Maibaum, Keijiro Araki
- Upplaga
- 2008 ed.
- ISBN
- 9783540881933
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 8.10.2008
- Sidor
- 397
