Programming languages and systems 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	APLAS (BerichterstatterIn)
Weitere Verfasser:	Ramalingam, G. (BerichterstatterIn), Ramalingam, Ganesan (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 5356
Schlagworte:	Programming languages (Electronic computers) > Konferenzschrift > Programmiersprache > Nebenläufigkeit > Bisimulation > Java > Formale Spezifikationstechnik > Programmverifikation
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!