varmap
varmap
varmap
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Aksiyomsal Anlamsal: Aksiyomlar(Axioms)• Amntıksal öndenetimli döngü için bir girişimkuralı{P} while B do S end {Q}(I and B) S{I}{I} while B do S{I and (not B)}burada I döngü değişmezidir(loop invariant)(tümevarım hipotezi)Copyright © 2007 Addison-Wesley. All rights reserved. 1-38