Fine-grained complexity of program verification

Dissertation, Technische Universität Carolo-Wilhelmina zu Braunschweig, 2022

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chini, Peter (VerfasserIn)
Körperschaft:	Technische Universität Braunschweig (Grad-verleihende Institution)
Weitere Verfasser:	Meyer, Roland (AkademischeR BetreuerIn), Esparza, Javier (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Braunschweig 2022
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Dissertation, Technische Universität Carolo-Wilhelmina zu Braunschweig, 2022
Beschreibung:	xxii, 417 Seiten Illustrationen, Diagramme