Programming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

Gespeichert in:

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