Verification of pointer programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rieger, Stefan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München Dr. Hut 2009
Ausgabe:	1. Aufl.
Schriftenreihe:	Informatik
Schlagworte:	Zeiger > Programmverifikation > Programm > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Zugl.: Aachen, Techn. Hochsch., Diss., 2009
Beschreibung:	170 S. graph. Darst. 240 mm x 170 mm, 474 gr.
ISBN:	9783868532128 978-3-86853-212-8