Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Matthias Felleisen, Philippa Gardner, ESOP (22, 2013, Rom) et al.

Programming languages and systems : proceedings

Berlin, Heidelberg: Springer, 2013

Title

Programming languages and systems : proceedings / 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.)

Involved 

Matthias Felleisen (Herausgeber)
Philippa Gardner (Herausgeber)
ESOP (22, 2013, Rom) (Herausgebendes Organ)
ETAPS (16, 2013, Rom) (Herausgebendes Organ)

Published

Berlin, Heidelberg: Springer
2013

Extent

XIX, 620 S. : graph. Darst.

ISBN

978-3-642-37035-9

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

Programmiersprache, Formale Methode, Kongress, Rom <2013>
Programmverifikation, Programmanalyse, Nebenläufigkeit, Programmierlogik, Softwaresystem, Model Checking, Kongress, Rom <2013>

DDC notation

005.13

Series

Lecture notes in computer science ; 7792 : Advanced research in computing and software science

Other editions

Erscheint auch als Online-Ausgabe: 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

Further information

Literaturangaben

Record ID

1031344632
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal