Datenbestand vom 10. Dezember 2024
Verlag Dr. Hut GmbH Sternstr. 18 80538 München Tel: 0175 / 9263392 Mo - Fr, 9 - 12 Uhr
aktualisiert am 10. Dezember 2024
978-3-86853-212-8, Reihe Informatik
Stefan Rieger Verification of Pointer Programs
171 Seiten, Dissertation Rheinisch-Westfälische Technische Hochschule Aachen (2009), Hardcover, B5