Title Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

Published New York : Springer-Verlag, [1990] ©1990

Copies

Location	Call no.	Vol.	Availability
W'PONDS	511.3 Dij/Pca		AVAILABLE

Description x, 220 pages : illustrations ; 25 cm Series Texts and monographs in computer science Texts and monographs in computer science. Notes Includes index Subject Predicate calculus. Programming languages (Electronic computers) -- Semantics. Author Scholten, Carel S. LC no. 89011540 ISBN 0387969578 (alk. paper)

  Permalink