>> Google Books
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
藤倉俊幸著
言語:
日本語
出版情報:
東京 : CQ出版, 2012.4
形態:
247p ; 24cm
著者名:
藤倉, 俊幸 <DA11220100>  
シリーズ名:
Computer technology <BA61863092>
書誌ID:
BB08773204
ISBN:
9784789838085 [4789838080]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

星野, 香保子, 並木, 秀明, 菊池, 宜志, 日比野, 吉弘

技術評論社

Martin, Robert C., ニューカーク, ジェームス.W, コス, ロバート.S, 瀬谷, 啓介

SoftBank Creative

情報処理推進機構ソフトウェア・エンジニアリング・センター

翔泳社

Rosenberg, Doug., Scott, Kendall, 今野, 睦, 長瀬, 嘉秀, テクノロジックアート

ソフトバンクパブリッシング

SE編集部, 情報処理推進機構ソフトウェア・エンジニアリング・センター, 経済産業省商務情報政策局情報処理振興課組込みソフトウェア開発力強化推進委員会

翔泳社

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

アスキー

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

アスキー