Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 1718, 2014, Revised Selected Papers

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