Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czecho
52,18 €
Subtitle 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. A sound and complete proof system for partial program correctness. - The problem of reachability and verification of programs. - Assertion programming.
Jetzt bei Ebay:
