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
Schwarzenbruck Wendelstein Burgthann Pyrbaum Altdorf Schwaig Leinburg Röthenbach an der Pegnitz Rednitzhembach Postbauer-Heng Nürnberg Allersberg Schwabach Stein Lauf an der Pegnitz Büchenbach Roth Heroldsberg Oberasbach Fürth
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung... mehr ... 15. November 2024
Es ist Software Quality Day! Richard Seidl diskutiert die Entwicklung des Software-Testings in den l... mehr ... 14. November 2024
Es ist Software Quality Day! Richard Seidl diskutiert die Entwicklung des Software-Testings in den l... mehr ... 14. November 2024
Es ist Software Quality Day! Richard Seidl diskutiert die Entwicklung des Software-Testings in den l... mehr ... 14. November 2024