| Type |  Book |
| ชื่อเรื่อง | Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe ... [et al.] (eds.) |
| ISBN | 3540440445 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | vi, 536 p. ; 24 cm |
| หัวเรื่อง | Programming languages (Electronic computers) --Semantics [] |