Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Författare
Daniel Kroening
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2015 Utgivningsland okänt / Ej specificerat