Cover Image

Predicate calculus and program semantics /

Show other versions (1)
Bibliographic Details
Main Author: Dijkstra, Edsger W.
Other Authors: Scholten, Carel S.
Format: Book
Language:English
Published: New York : Springer-Verlag, [1990]
Series:Texts and monographs in computer science.
Subjects:
Predicate calculus.
Programming languages (Electronic computers) > Semantics.

Remote Storage

Holdings details from Remote Storage
Call Number: QA9.35 .D55 1990
 
Call Number Status Get It
QA9.35 .D55 1990 Available