
Formal Methods and Software Engineering
- Undertittel
- 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
- Redaktør
- Toshiaki Aoki, Kenji Taguchi
- Opplag
- 2012 ed.
- ISBN
- 9783642342806
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.9.2012
- Antall sider
- 512
