Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings Peter Müller (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 12075 | Lecture notes in computer science ; 12075Verlag: Cham Springer Open [2020]Beschreibung: xv, 772 Seiten Illustrationen, DiagrammeInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 9783030449131
- Programmiersprache
- Formale Methode
- Nebenläufigkeit
- Typsystem
- Programmanalyse
- Programmverifikation
- Formale Methode
- Formale Methode
- Nebenläufigkeit
- Programmanalyse
- Programmiersprache
- Programmiersprache
- Programmverifikation
- Programmverifikation
- Typsystem
- Typsystem
- Programmiersprache
- Typsystem
- Formale Methode
- Programmverifikation
- Programmanalyse
- Nebenläufigkeit
- Programmiersprache
- Formale Methode
- Typsystem
- Programmverifikation
- SS 4800
- 54.50
| 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 12075 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000434364 |
Literaturangaben
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Programming Languages and Systems