Programming languages and systems proceedings 11th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Daniel Le Métayer (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 230500 | Lecture notes in computer science ; 2305Verlag: Berlin Heidelberg [u.a.] Springer 2002Beschreibung: XII, 329 S. graph. Darst. 24 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540433635
- ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
- Computer programming -- Congresses
- Programming languages (Electronic computers) -- Congresses
- Computer programming -- Congresses
- Programming languages (Electronic computers) -- Congresses
- Effizienter Algorithmus
- Korrektheit
- Programmanalyse
- Programmierparadigma
- Programmierung
- Programmtransformation
- Typentheorie
- Programmierung
- Effizienter Algorithmus
- Korrektheit
- Programmierparadigma
- Programmanalyse
- Programmtransformation
- Typentheorie
- 28
- SS 4800
- *00B25
- 68-06
- 68Nxx
- 54.53
- 54.51
- 54.10
Inhalte:
Bearbeitungsvermerk: - Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 2305 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000175928 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
Literaturangaben
Literaturangaben
Métayer, Daniel: Programming Languages and Systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31