عنوان
پدید آورنده
موضوع
رده
QA 76 .7 .M342 1992
QA
76
.
7
.
M342
1992
کتابخانه
محل استقرار
103874
زمستان۳۷
English
)20(
Manes, Ernest G.
1943-
Predicate transformer semantics
Cambridge
Cambridge University Press
1992
223 p. : ill. ; 26 cm
Cambridge tracts in theoretical computer science, 33
Includes bibliographical references )p. 216-220( and index
، Programming languages )Electronic computers(-- Semantics
، Computer science-- Mathematics
QA
76
.
7
.
M342
1992
AU
Ernest G. Manes
TI
SE
02
