イシカワ, フユキ
石川, 冬樹
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | SRC:VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 / 石川冬樹著 (近代科学社, 2011.7) の著者紹介による 2007年, 東京大学大学院情報理工学系研究科博士課程修了 総合研究大学院大学複合科学研究科助教 博士 (情報理工学) |
コード類 | 典拠ID=Z100004199 NCID=DA17288253 |
1 | これからの「ソフトウェアづくり」との向き合い方 / 石川冬樹著 東京 : 丸善出版 , 2024.1 |