×
×

Mehr Nachrichten aus der Umgebung

Belgern Mockrehna Falkenberg

Podcast Software Testing: Korrektheit durch formale Methoden

15. November 2024 ©
15. November 2024 ©
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung ...

Das könnte Sie auch interessieren ...

Keine ähnlichen Artikel gefunden.

expand_less