Predicate calculus and program semantics

Edsger W. Dijkstra, Carel S. Scholten
Bok · Engelsk · 1990 · Electronic books

Utgitt	New York : Springer-Verlag , c1990
Omfang	x, 220 s.
Emner	Predicate calculus Programming languages (Electronic computers) - Semantics Bevisføring Predikater Vis mer... Predikatkalkyle Predikatlogikk Semantikk
Sjanger	Electronic books
Dewey	511.3
ISBN	0387969578