Konferenzschrift | Kongress
Applied semantics : international summer school ; advanced lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540440444
3540440445
- Dimensions
-
24 cm
- Extent
-
VI, 536 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2395
- Keyword
-
Programmierung
Typentheorie
Programmiersprache
Formale Semantik
Programmverifikation
Programmtransformation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2002
- Contributor
-
Barthe, Gilles
International Summer School on Applied Semantics (2000 : Caminha)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:08 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Barthe, Gilles
- International Summer School on Applied Semantics (2000 : Caminha)
- Springer
Time of origin
- 2002
Other Objects (12)
Humboldt Lectures, Summer 2015
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Dependability metrics : advanced lectures
Generic programming : advanced lectures
Lectures on information retrieval : third European summer school ; revised lectures
Advanced lectures on software engineering
Computational discrete mathematics : advanced lectures
Advanced methods in applied mathematics
Algorithms for memory hierarchies : advanced lectures
Digital and image geometry : advanced lectures
Business intelligence : first European summer school ; tutorial lectures
Humboldt Lectures, Summer 2015
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Dependability metrics : advanced lectures
Generic programming : advanced lectures
Lectures on information retrieval : third European summer school ; revised lectures
Advanced lectures on software engineering
Computational discrete mathematics : advanced lectures
Advanced methods in applied mathematics
Algorithms for memory hierarchies : advanced lectures
Digital and image geometry : advanced lectures
Business intelligence : first European summer school ; tutorial lectures
Humboldt Lectures, Summer 2015
Advanced lectures on machine learning : revised lectures
Advanced lectures on machine learning : revised lectures
Dependability metrics : advanced lectures
Generic programming : advanced lectures
Lectures on information retrieval : third European summer school ; revised lectures
Advanced lectures on software engineering
Computational discrete mathematics : advanced lectures
Advanced methods in applied mathematics
Algorithms for memory hierarchies : advanced lectures
Digital and image geometry : advanced lectures