Tallenna
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
- Alaotsikko
- 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Toimittaja
- Kazuhiro Ogata, Mark Lawford, Shaoying Liu
- Painos
- 1st ed. 2016
- ISBN
- 9783319478456
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 15.10.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 486
