-
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//
-
Link To Document :
