عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.442
QA
76
.
L28
Vol
.
442
کتابخانه
محل استقرار
Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
5th: 1989: USA
Berlin
Springer-Verlag
c1990
vi, 439p.: ill
Lecture notes in computer science; 244
Proceedings of the 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March-April 1989
Includes bibliographies
ISBN: 3540973753
M. Main...]et al.[, )eds.(
1
Semantics -- Congresses ، Programming languages )Electronic computers(
Congresses ، Computer science -- Mathematics
QA
76
.
L28
Vol
.
442
AU
AU Main, Michael, 1956-
TI
TI
SE
International Conference on the Mathematical Foundations of Programming Semantics
