電子書籍

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

発売日2016-04-28発売中

著者

來間 啓伸 中島 震

出版社

近代科学社

形式

Kindle版

新刊発見日

2016年4月29日

最終更新

2016年4月29日 01:41

販売サイトで詳細を見る他のサイト