
Formal Methods and Software Engineering
- Alaotsikko
- 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
- Toimittaja
- Toshiaki Aoki, Kenji Taguchi
- Painos
- 2012 ed.
- ISBN
- 9783642342806
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.9.2012
- Sivumäärä
- 512