フォーマルメソッドのフィールドワーク ＜算譜科学研究速報 AIST-PS-2008-8＞

書籍データ

著者名：木下佳樹, 高井利憲 著 ; 産業技術総合研究所システム検証研究センター 編他の作品を見る

出版社：産業技術総合研究所システム検証研究センター

発売日：2008.3

12p 30cm

ISBN：