Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICTAC (VerfasserIn)
Weitere Verfasser:	Dang Van Hung (HerausgeberIn), Kapur, Deepak (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2017
Schriftenreihe:	Lecture notes in computer science 10580
Schlagworte:	Konferenzschrift > Programmierlogik > Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	XX, 304 Seiten Illustrationen 23,5 cm x 15,5 cm
ISBN:	9783319677286 978-3-319-67728-6