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 | |
Sjanger | |
Dewey | |
ISBN | 0387969578
|
Utgitt | New York : Springer-Verlag , c1990
|
---|---|
Omfang | x, 220 s.
|
Emner | |
Sjanger | |
Dewey | |
ISBN | 0387969578
|