>> openBD
 ↑ タイトル、所在を表示

組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

フォーマット:
図書
責任表示:
藤倉俊幸著
出版情報:
東京 : CQ出版, 2012.4
形態:
247p : 挿図 ; 24cm
ISBN:
9784789838085 [4789838080]  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Computer technology <BA61863092>
著者名:
藤倉, 俊幸 <DA11220100>  
書誌ID:
BB08773204
注記:
参考文献: p240-243
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

黒川, 利明(1948-)

岩波書店

桜井, 通晴(1937-)

白桃書房

伊藤, 潔(1951-), 廣田, 豊彦, 冨士, 隆, 熊谷, 敏, 川端, 亮

オーム社

岡部, 洋一

放送大学教育振興会

辰己, 丈夫, 中谷, 多哉子

放送大学教育振興会

古谷, 栄男, 松下, 正(1958-), 眞島, 宏明(1964-), 鶴本, 祥文

アスキー

金子, 敬一(1962-), 今城, 哲二, 中村, 英夫(1948-)

朝倉書店

小泉, 寿男, 辻, 秀一, 吉田, 幸二, 中島, 毅

オーム社

岸, 知二(1956-), 野田, 夏子, 深澤, 良彰

共立出版