عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.239
QA
76
.
L4
v
.
239
کتابخانه
محل استقرار
English
Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Berlin
Springer-Verlag
1986
vi, 395p
Lecture notes in computer science; 932
Includes bibliographical references
edited by Austin Melton
1
Congresses ، Programming languages )Electronic computers( - Semantics
Congresses ، Electronic digital computers - Programming
QA
76
.
L4
v
.
239
TI
AU Melton, Austin
SE
