Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures (Lecture Notes in Computer Science, Band 2395)

September

von: Gilles Barthe · Peter Dybjer · Luís Pinto · João Saraiva

Taschenbuch

EAN=ISBN-13: 978-3-540-44044-4

ISBN-10: 3-540-44044-5

Springer · 2009