عنوان
پدید آورنده
موضوع
رده
QA 76.7 .S4
QA
76
.
7
.
S4
کتابخانه
محل استقرار
Semantics of programming languages and model theory
Langhome, Pa
Gordon and Breach Science
c1993
vii, 366p.: ill
Algebra, logic, and applications; V.5
Includes bibliographies
ISBN: 2881249353
edited by Manfred Droste and Yuri Gurevich
1
، Programming languages )Electronic computers( -- Semantics
QA
76
.
7
.
S4
TI
AU Droste, Manfred, 1956-
AU Gurevich, Yuri
SE
