Applied semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9 - 15, 2000 ; advanced lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2395 : Tutorial |
| Schlagworte: |
Langages de programmation - Sémantique - Congrès
> conception langage programmation
> structure programme
> sémantique langage programmation
> théorie type
> transformation programme
> vérification programme
> Programming languages (Electronic computers) -- Semantics
> Typentheorie
> Formale Semantik
> Programmierung
> Operationale Semantik
> Programmiersprache
> Programmtransformation
> Programmverifikation
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | VI, 536 S. |
|---|---|
| ISBN: | 3540440445 3-540-44044-5 |