Program Doğrulama
Unknown tarafından
20 Haziran 2012 Çarşamba
tarihinde yazılmıştır.
Bilgisayar bilimlerinde, program doğrulama, verilen bir programın belli bir önkoşul ve sonkoşula göre doğru olup olmadığının matematiksel yöntemler kullanılarak kanıtlanmasıdır.
Program Doğrulama için “0 yorum” bulunmaktadır.