VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 ＜トップエスイー実践講座 4＞

書籍データ

著者名：石川冬樹 著 ; 荒木啓二郎 監修他の作品を見る

出版社：近代科学社

発売日：2011.7

224p 24cm

ISBN：978-4-7649-0409-5