The Correctness-by-Construction Approach to Programming
by Derrick G. Kourie, Bruce W. Watson Hardcover 2012
- Author: Derrick G. Kourie, Bruce W. Watson
- ISBN 13: 9783642279188
- ISBN 10: 364227918X
- Publication Year: 2012
- Language: English
Specifications
Index-10364227918X
LanguageEnglish
Index-139783642279188
Period-
Class Track-
Publisher- (2012)
Pages-
✨ Readers also enjoyed...
Multiple Criteria Decision Aid : M…