
Formal Methods and Software Engineering
- Undertitel
- 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Redaktör
- Kazuhiro Ogata, Mark Lawford, Shaoying Liu
- Upplaga
- 1st ed. 2016
- ISBN
- 9783319478456
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-10-15
- Sidor
- 486
