Künstliche Intelligenzvor 4 Stunden
Software Testing: Formale Methoden in der Softwarequalität
In dieser Folge spricht Richard Seidl mit Michael Sperber und Markus Schlegel über formale Methoden der Softwareentwicklung. Sie erklären, warum Mathematik und Spezifikationen ein solideres Fundament...
