Tags
Language
Tags
<<
June 2025
Su Mo Tu We Th Fr Sa
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 5
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. 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)

    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