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

Turing Complete FM - En podkast av Rui Ueyama

Prøv Podimo gratis i hele 60! dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

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