Theoretical aspects of computing - ICTAC 2020 17th international colloquium, Macau, China, November 30 - December 4, 2020 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ICTAC (VerfasserIn)
Weitere Verfasser:	Pun, Violet Ka I. (HerausgeberIn), Stolz, Volker (HerausgeberIn), Simao, Adenilso (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12545
Schlagworte:	Formale Methode > Softwareentwicklung > Theoretische Informatik > Softwaretest > Programmverifikation > Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:	xvi, 316 Seiten Illustrationen, Diagramme
ISBN:	9783030642754 978-3-030-64275-4