Blogumuzdaki yazıya yorum yapılmıştır. Euzun Teması Hayırlı uğurlu olsun..

Sayfalar

Program Doğrulama

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.