Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
- Författare
- Deepak. D’Souza
- (Edited by Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2015 | Tyskland, Berlin, Heidelberg | XVIII, 468 sidor. 102 illus. online resource. | 978-3-662-46081-8 |
| Springer Berlin Heidelberg | 2015 | Utgivningsland okänt / Ej specificerat |