近代科学社

Sort
Filter
cover image of Bメソッドによる形式仕様記述

Bメソッドによる形式仕様記述

トップエスイー実践講座 (Series)

本位田真一 Other
中島震 Other
(2020)

cover image of Event-B：リファインメント・モデリングに基づく形式手法

Event-B：リファインメント・モデリングに基づく形式手法

中島震 Other
來間啓伸 Other
(2020)

cover image of SPIN モデル検査：検証モデリング技法

SPIN モデル検査：検証モデリング技法

中島震 Other
(2020)

cover image of デジタル・プラットフォーム解体新書　製造業のイノベーションに向けて

デジタル・プラットフォーム解体新書　製造業のイノベーション...

高梨千賀子 Other
福本勲 Other
(2023)