Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4-6, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Liu, Zhiming. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg u.a. Springer 2013
Schriftenreihe:	Lecture notes in computer science 8049
Schlagworte:	Electronic data processing > Information theory > Konferenzschrift > Theoretische Informatik > Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!