1 Title in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren 1
jump to filter-options1 Title in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren
1
Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017