Programming languages and systems 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 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	ESOP (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Drossopoulou, Sophia (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 4960
Schlagworte:	Computer programming > Programming languages (Electronic computers) > Konferenzschrift > Programmiersprache > Formale Sprache > Programmierung > Statische Analyse > Abstrakte Interpretation > Prozessalgebra > Programmierlogik > Programmverifikation
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!