Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /

Bibliographic Details
Corporate Authors:	APPSEM 2000 Caminha, Potrugal, SpringerLink (Online service)
Other Authors:	Barthe, Gilles, 1967-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2002.
Series:	Lecture notes in computer science ; 2395.
Subjects:	Programming languages (Electronic computers) > Semantics. transformation programme. théorie type. conception langage programmation. vérification programme. structure programme. sémantique langage programmation. Langages de programmation > Sémantique > Congrès. Formale Semantik. Kongress. Operationale Semantik. Programmiersprache. Programmierung. Programmtransformation. Programmverifikation. Typentheorie. Electronic books. Caminha (2000)
Online Access:	Connect to the full text of this electronic book

Remote Storage