Books listed by ISBN
>
近代科学社 (kindaikagakusha)
> 来間 啓伸
来間 啓伸
kurima akira/hajime/hiraku/hiro/hiroshi/kei/satoru/
satoshihiroshi/nobi/nobu/noburu/shin/yoboru
title
ISBN-13
(ISBN-10)
year of publication
Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証
Bmesoddoniyorukeishikishiyoukijutsu―sofutoueashisutemunomoderubake/ka/
ketosonokenshou
978-4-7649-O347-O
(4-7649-O347-4)
2007
奥井 識仁