Derrick G. Kourie – författare
Visar alla böcker från författaren Derrick G. Kourie. Handla med fri frakt och snabb leverans.
3 produkter
Correctness-by-Construction Approach to Programming
Av Derrick G. Kourie, Bruce W. Watson
Inbunden, 2012
1126 kr
Lägg i varukorg
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any …
Correctness-by-Construction Approach to Programming
Av Bruce W. Watson, Derrick G. Kourie
E-bok, 2012
1502 kr
Lägg i varukorg
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any …
Correctness-by-Construction Approach to Programming
Av Derrick G. Kourie, Bruce W. Watson
Häftad, 2014
1126 kr
Lägg i varukorg
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any …
