heise.de
Podcast Software Testing: Korrektheit durch formale Methoden
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
3 Ergebnisse für Ihre Suche nach "Beweisführung"