Applied semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe ... [et al.] (eds.).

Author/creator APPSEM 2000
Other author Barthe, Gilles, 1967-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionvi, 536 p. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture notes in computer science ; 2395
General noteBased on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2002029196
ISBN3540440445 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available