عنوان
پدید آورنده
موضوع
رده
QA 76 .7 .M34 1986
QA
76
.
7
.
M34
1986
کتابخانه
محل استقرار
88052
آخر۲۷
English
)91(
Manes, Ernest G.
1943-
Algebraic approaches to program semantics
New York
Springer-Verlag
1986
xiii, 351 p. : ill. ; 25 cm
The AKM series in theoretical computer science
Texts and monographs in computer science
Includes bibliographies and indexes
، Programming languages )Electronic computers(-- Semantics
، Algebra
QA
76
.
7
.
M34
1986
AU
Ernest G. Manes, Michael A. Arbib
AU .A leahciM ,bibrA
TI
SE
129
