Programming languages and systems 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	APLAS (BerichterstatterIn)
Weitere Verfasser:	Hu, Zhenjiang (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2009
Schriftenreihe:	Lecture notes in computer science 5904
Schlagworte:	Programming languages (Electronic computers) > Konferenzschrift > Programmiersprache > Formale Methode > Programmanalyse > Programmtransformation > Programmoptimierung > Programmierlogik > Softwaresystem > Programmverifikation > Sicherheit
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!