The Design of Well-Structured and Correct Programs by Suad Alagic (English) Pape
64,18 €
The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process.
Jetzt bei Ebay:
