عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2395
QA
76
.
L28
Vol
.
2395
کتابخانه
محل استقرار
Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
2000 : Caminha, Portugal
Berlin
Springer-Verlag
c2002
]ix, 537[ p.: ill
Lecture notes in computer science; 5932
Based on materials presented at the International summer school on applied semantics that took place in Caminha, Portugal, in September 2000.
Includes bibliographies
ISBN: 3540440445
Gilles Barthe...]et al.[ )eds.(
1
Congresses ، Programming languages )Electronic computers( -- Semantics
QA
76
.
L28
Vol
.
2395
AU
AU Barthe, Gilles, 1967-
TI
SE
International Summer School on Applied Semantics
