Katalog der Deutschen Nationalbibliothek

Go to:

Media

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

Sophia Drossopoulou, ESOP (17, 2008, Budapest) and ETAPS (11, 2008, Budapest)

Programming languages and systems : proceedings

Berlin, Heidelberg, New York, NY: Springer, 2008

Title

Programming languages and systems : proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.)

Involved 

Sophia Drossopoulou (Herausgeber)
ESOP (17, 2008, Budapest) (Herausgebendes Organ)
ETAPS (11, 2008, Budapest) (Herausgebendes Organ)

Published

Berlin, Heidelberg, New York, NY: Springer
2008

Extent

XIII, 397 S. : graph. Darst.

ISBN

978-3-540-78738-9

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

Programmiersprache, Kongress, Budapest <2008>
Formale Sprache, Kongress, Budapest <2008>
Programmierung, Statische Analyse, Abstrakte Interpretation, Kongress, Budapest <2008>
Programmierung, Prozessalgebra, Programmierlogik, Kongress, Budapest <2008>
Programmverifikation, Kongress, Budapest <2008>

DDC notation

005.13

Series

Lecture notes in computer science ; Vol. 4960

Other editions

Erscheint auch als Online-Ausgabe: Programming languages and systems : proceedings

Further information

Literaturangaben

Record ID

987618830
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