johann blieberger
Reliable Software Technologies - Ada-Europe 2017
Print on DemandThis book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on...
Symbolic Analysis
Print on DemandStatic program analysis aims to determine the dynamic behavior of programs without actually execu...
Reliable Software Technologies - Ada-Europe 2002
Print on DemandThis book constitutes the refereed proceedings of the 7th International Conference on Reliable So...
Informatik
Print on DemandInhaltsangabeEinführung: Entwicklung des Berufsbildes; Inhaltsübersicht; Theoretische Grundlagen:...
- 1