Tallenna
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.
- Alaotsikko
- 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
- Toimittaja
- Shaoying Liu, Tom Maibaum, Keijiro Araki
- Painos
- 2008 ed.
- ISBN
- 9783540881933
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.10.2008
- Sivumäärä
- 397
