Spar
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.
- Undertittel
- 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
- Opplag
- 2008 ed.
- ISBN
- 9783540881933
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.10.2008
- Antall sider
- 397
