Corectitudinea algoritmilor

Autor(i):

Editura:

Anul aparitiei: 1995

Nr. pagini: 271 pagini

Categorii: Programare, Calculatoare / IT

Produsul nu poate fi comandat:
Stocul epuizat!

Descriere

    Cuprins:
  • Testare si depanare
  • Verificare formalizata a programelor
  • Cea mai slaba preconditie, cea mai tare postconditie
  • Instructiuni generalizate
  • Notiuni de logica