KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, edsKORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, edsM. Broy, JähnichenStefan出版社Springer発売日1995-01-01ISBN9783540605898読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
