5 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten 1
zu den Filteroptionen5 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
1
Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Elektronische Ressource, Paderborn, 2018On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017