Robert L. Baber · 4 obras en el catálogoObrasSoftwarereflexionenSoftwarereflexionenPPraktische Anwendbarkeit mathematisch rigoroser Methoden zumPraktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der ProgrammkorrektheitLLanguage of MathematicsLanguage of Mathematics
PPraktische Anwendbarkeit mathematisch rigoroser Methoden zumPraktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit