The Correctness-by-Construction Approach to Programming electronic resource / by Derrick G. Kourie, Bruce W. Watson

Författare
Derrick G. author. Kourie
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat