Programming languages and systems
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 ; proceedings
Author:
Felleisen, Matthias
Place of publ.,
Publisher,
Year of publ.:
Berlin [u.a.],
Springer,
2013
Extent:
1 Online-Ressource (X, 620 S.)
ISBN:
9783642370359
,
9783642370366
GND Subject headings:
Programmiersprache
,
Formale Methode
GND Subject headings:
Programmverifikation
,
Programmanalyse
,
Nebenläufigkeit
,
Programmierlogik
,
Softwaresystem
,
Model Checking
Content/media type note:
Konferenzschrift
Reihe/Zeitschrift : Lecture notes in computer science
:
Alle Einzelbände
3201378
BV041388365
874373310
9783642370359
Felleisen, Matthias: Programming languages and systems (2013)