The Correctness-by-Construction Approach to Programming

Författare
Derrick G. Kourie
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2012 Utgivningsland okänt / Ej specificerat