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

資料種別:
電子ブック
責任表示:
中島震, 來間啓伸共著
言語:
日本語
出版情報:
東京 : 近代科学社, 2015.2
形態:
1 オンラインリソース
著者名:
書誌ID:
RB00765589
ISBN:
9784764970021 [4764970023] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000033155 [3000033153]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

中島, 震(1955-), みわ, よしこ(1963-), 国立情報学研究所

丸善出版

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

正野, 逸子, 生野, 繁子(1956-), 中嶋, 恵美子, 北川, 明, 安酸, 史子

メヂカルフレンド社

中島, 震(1955-)

近代科学社

中島, 震(1955-)

オーム社

Feathers, Michael C, 平澤, 章, ウルシステムズ

翔泳社

大須賀 昭彦, 長谷川 哲夫, 田原 康之, 磯部 祥尚

近代科学社