Programming languages and systems

proceedings

Felleisen, Matthias ; Gardner, Philippa 2013 Springer

Kaufen

Jetzt kaufen bei

Link zu diesem Datensatz

https://d-nb.info/1031344632

Titel

Programming languages and systems : proceedings

Art des Inhalts

Monographie

Verfassangaben

22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013. Matthias Felleisen ; Philippa Gardner (ed.)

Autor(en)

• Felleisen, Matthias
• Gardner, Philippa

Organisation(en)

• ESOP
• ETAPS

Verlag

Berlin : Springer [2013]

Jahr

Erscheinungsdatum: 2013

Umfang/Format

XIX, 620 S.

ISBN/Einband/Preis

9783642370359

Online

https://d-nb.info/1031344632/04

Sprache

eng

Schlagwörter

• Programmiersprache
• Formale Methode
• Programmverifikation
• Programmanalyse
• Nebenläufigkeit
• Programmierlogik
• Softwaresystem
• Model Checking
• concurrent programs
• higher-order programming
• program verification
• separation logic
• weak memory models

Anmerkungen

Literaturangaben

Stand

03.12.2017 08:02

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

Verlagstext laden