عنوان
پدید آورنده
موضوع
رده
QA 9.35 .D55 1989
QA
9
.
35
.
D55
1989
کتابخانه
محل استقرار
Predicate calculus and program semantics
Edsger W. Dijkstra, Carel S. Scholten
Berlin
Springer-Verlag
c1990
x, 220p
Texts and monographs in computer science
ISBN: 3540969578
1
2
3
، Predicate calculus
، Programming languages )Electronic computers( -- Semantics
QA
9
.
35
.
D55
1989
Dijkstra, Edsger Wybe
AU
AU Scholten, Carel S.
TI
SE
