Editions of Predicate calculus and program semantics

Filters
Edsger Wybe Dijkstra: Predicate calculus and program semantics (1990, Springer-Verlag)

Predicate calculus and program semantics

220 pages

English language

Published Nov. 15, 1990 by Springer-Verlag.

ISBN:
978-0-387-96957-2
Copied ISBN!

Can't find the edition you're looking for?