Künstliche Intelligenzvor 3 Stunden
software-architektur.tv: Wozu formale Methoden? mit Lars Hupel
Softwaretests können die Anwesenheit von Fehlern zeigen, aber niemals deren Abwesenheit – diese Erkenntnis des Informatikpioniers Edsger Dijkstra ist Jahrzehnte alt und dennoch aktueller denn je....
