Verified Software: Theories, Tools, Experiments

Författare
Rajeev Joshi
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2012 Utgivningsland okänt / Ej specificerat