Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Posted By: alt_f4
Date: 12 Apr 2017 10:10:24
Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice) by Robert L. Baber
English | Aug. 1, 1991 | ISBN: 0471930164 | 88 Pages | PDF | 56 MB

Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (``bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.

-= My Blog! =-
UPWARDS