Theoretical aspects of computing - ICTAC 2014 11th international colloquium, Bucharest, Romania, September 17-19, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICTAC (BerichterstatterIn)
Weitere Verfasser:	Ciobanu, Gabriel (BerichterstatterIn), Méry, Dominique (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8687
Schlagworte:	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!