logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
The Correctness-By-Construction Approach to Programming - Derrick G. Kourie, Bruce W. Watson
The Correctness-By-Construction Approach to Programming
by: (author) (author)
Format: hardcover
ISBN: 9783642279188 (364227918X)
Publisher: Springer
Pages no: 268
Edition language: English
Bookstores:
Books by Bruce W. Watson
Books by Derrick G. Kourie
Share this Book
Need help?