عنوان
پدید آورنده
موضوع
رده
QA 76.7 .M34 1986
QA
76
.
7
.
M34
1986
کتابخانه
محل استقرار
51201w
English
Manes, Ernest G
3491-
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
Ernest G. Manes, Michael A. Arbib
، Programming languages )Electronic computers( -- Semantics
، Algebra
QA
76
.
7
.
M34
1986
AU
AU A leahciM ,bibrA joint auth.
TI
SE
تموجود نیس
