varmap
varmap
varmap
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Döngü Değişmezi(Loop Invariant)• I döngü değişkeni döngü postcondition nınzayıflatılmış versiyonudur.ve ayrıca bir önkoşuldur.• I döngü başlamadan öncede doğru olacakşekilde yeteri kadar zayıf olmalıdır, fakatdöngü sonlanma şartı ile birleştirildiğindepost condition ı doğrulayacak kadar dakuvvetli olmalıdır.Copyright © 2007 Addison-Wesley. All rights reserved. 1-40