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

Constructing Correct Software by D. John Cooke [Repost]

Posted By: Free butterfly
Date: 20 Apr 2015 07:55:41
Constructing Correct Software by D. John Cooke [Repost]

Constructing Correct Software (Formal Approaches to Computing and Information Technology,) by D. John Cooke
English | Oct 25, 2004 | ISBN: 1852338202 | 512 Pages | PDF | 1 MB

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved).

-= My Blog! =-
Download NitroFlare
IT
UPWARDS