VERIFICAREA SI VALIDAREA SISTEMELOR SOFT

Cartea se adresează tuturor celor interesaţi de activitatea de programare, atât programatorilor consacraţi cât şi persoanelor care doresc să înveţe programarea, în special pentru studenţii secţiilor de matematică-informatică şi informatică. El este structurat pe trei părţi după cum urmează: ● Partea I: Corectitudinea algoritmilor (capitolele 1 şi 2); ● Partea a II-a: Verificarea şi validarea programelor (capitolele 3-7); ● Partea a III-a: Consecinţe asupra metodologiei programării (capitolele 8-10).