Tests and Proofs electronic resource : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / edited by Martin Gogolla, Burkhart Wolff

Författare
Switzerland) 2011 : (5th TAP 2011 Zurich
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat