Verification, Model Checking, and Abstract Interpretation
- Undertitel
- 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Redaktör
- Jobstmann Barbara, Leino K. Rustan M.
- Upplaga
- 15001
- ISBN
- 9783662491218
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 2015-12-26
- Sidor
- 558









































