Skip to content

Opening book details…

Can I read The Correctness-by-Construction Approach to Programming on EtoBox?

The Correctness-by-Construction Approach to Programming by Derrick G. Kourie, Bruce W. Watson (auth.) is a computer science book available to read on EtoBox.

What is The Correctness-by-Construction Approach to Programming about?

<p>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 measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions.</p><p>Kourie and Watson advocate an approach known as “correctness-by-construc

Who reads The Correctness-by-Construction Approach to Programming?

It is typically read by working professionals who need an authoritative practice reference.

Common subject areas: medicine, law, business, engineering.

Author
Derrick G. Kourie, Bruce W. Watson (auth.)
Publisher
Springer-Verlag Berlin Heidelberg
Published
2012
Language
EN
ISBN
9783642279188
Category
computer science
Subjects
Science, Engineering, Mathematics
Updated
2026-03-24

Other editions & translations

More by Derrick G. Kourie, Bruce W. Watson (auth.)

Browse all works by Derrick G. Kourie, Bruce W. Watson (auth.)

Similar books