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

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

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: ESOP (VerfasserIn), ETAPS (VerfasserIn)
Weitere Verfasser: Müller, Peter (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer Open 2020
Schriftenreihe:Lecture notes in computer science 12075
Schlagworte:
Programmiersprache > Formale Methode > Nebenläufigkeit > Typsystem > Programmanalyse > Programmverifikation > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Zugehörige Videos
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:xv, 772 Seiten
Illustrationen, Diagramme
ISBN:9783030449131
978-3-030-44913-1