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.
Aksiyomsal Anlamsal Biçimler(Axiomatic SemanticsForm)• Pre-, post form: {P} statement {Q}• Bir örnek– a = b + 1 {a > 1}– Bir mümkün önkoşul(precondition): {b > 10}– En zayıf önkoşul: {b > 0}Copyright © 2007 Addison-Wesley. All rights reserved. 1-34