Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit251pages9 heures de lecturePrévenez-moi