Spar
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.
- Undertittel
- 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Redaktør
- Kazuhiro Ogata, Mark Lawford, Shaoying Liu
- Opplag
- 1st ed. 2016
- ISBN
- 9783319478456
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 15.10.2016
- Antall sider
- 486
