Ebooks de Bruce W. Watson en EPUB

1 Livre(s)
Télécharger le livre : The Correctness-by-Construction Approach to Programming
Ajouter à ma liste d'envies
The Correctness-by-Construction Approach to Programming
Derrick G. Kourie , Bruce W. Watson
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...

Editeur : Springer
Parution : 2012-04-10

ePub

94,94 €