Formal Methods in Programming and Their Applications: International Conference,
66,97 €
Theory of domains and nearby. - Predicative programming — A survey. - A compositional semantics of combining forms for gamma programs. - Algebraic properties of loop invariants. - Galois connection based abstract interpretations for strictness analysis.
Jetzt bei Ebay:
