16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

Turing Complete FM - Ein Podcast von Rui Ueyama

Podimo 60!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。