RecordNumber
55596
Author
Dijkstra, Edsger W
Title
Predicate calculus and program semantics
Author Statement
Edsger W. Dijkstra , Carel S. Scholten
Publication
Springer
Publication Year
[c1990]
Collation
x, 220p
Subject
Predicate calculus , Programming languages(Electronic computers)- Semantics
ADDED ENTRIES
Scholten, Carel S
Main Class
511
Sub Class
.3
Cutter no
D575p
وارد كنندة اطلاعات
76.04^d//