Reading Length
Home
Speed Tests
Login
Derrick G. Kourie
Identifiers
Open Library
OL8130301A
Books by Derrick G. Kourie
Total count: 1
The Correctness-By-Construction Approach to Programming
Springer
2012-04-18