Research Catalog

Predicate calculus and program semantics

Title
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
Author
Dijkstra, Edsger W.
Publication
New York : Springer-Verlag, [1990], ©1990.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9.35 .D55 1990Off-site

Holdings

Details

Additional Authors
Scholten, Carel S
Description
x, 220 pages; 25 cm.
Series Statement
Texts and monographs in computer science
Uniform Title
Texts and monographs in computer science.
Subject
  • Predicate calculus
  • Programming languages (Electronic computers) > Semantics
ISBN
0387969578 (alk. paper)
LCCN
89011540
OCLC
  • 20014580
  • ocm20014580
Owning Institutions
Columbia University Libraries