>> Google Books
QRコード(所蔵情報)

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 組み込みソフトウェアの設計&検証 : 割り込み動作からRTOSを使った設計、ツールによる動作検証まで

藤倉, 俊幸

CQ出版
7 図書 コンピューター・ソフトウェア

Scientific American

日経サイエンス : 日本経済新聞社(発売)
2 図書 組み込みソフトウエア

日経エレクトロニクス, 日経バイト

日経BP社
8 図書 ソフトウェア評価技法 : 検査・検定・保守・コスト積算

広瀬, 健(1935-)

共立出版
3 図書 リアルタイム/マルチタスクシステムの徹底研究 : 組み込みシステムの基本とタスクスケジューリング技術の基礎

藤倉, 俊幸

CQ出版
9 図書 ソフトウェアのモデル化と再利用

松本, 正雄

共立出版
4 図書 ARM組み込みソフトウェア入門 : 記述例で学ぶ組み込み機器設計のためのシステム開発

Sloss, Andrew N., Symes, Dominic, Wright, Chris, アーム株式会社

CQ出版
10 図書 ソフトウェア現場力ハンドブック

松本, 吉弘(1932-)

オーム社
5 図書 岩波講座ソフトウェア科学

長尾, 真(1936-)

岩波書店
11 電子ブック Ｂメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

来間 啓伸, 中島 震

近代科学社
6 図書 新しい時代のソフトウェア

大野, 豊(1924生)

共立出版
12 図書 組み込みソフトウェア開発スタートアップ : ITエンジニアのための組み込み技術入門

CQ出版