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

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!

Keine Ergebnisse!