Blank Cover Image
QRコード(所蔵情報)

組み込みソフトウェアの設計&検証 : 割り込み動作からRTOSを使った設計、ツールによる動作検証まで

フォーマット:
図書
責任表示:
藤倉俊幸著
言語:
日本語
出版情報:
東京 : CQ出版, 2006.9
形態:
287p : 挿図 ; 26cm
著者名:
藤倉, 俊幸 <DA11220100>  
シリーズ名:
インターフェース増刊 ; . TECHI ; vol. 34 <BN08705708>
書誌ID:
BA77858761
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

藤倉, 俊幸

CQ出版
7 図書 UNIXカーネルの設計

Bach, Maurice J., 坂本, 文(1959-)

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

藤倉, 俊幸

CQ出版
8 論文 述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

山根, 智, Yamane, Satoshi

金沢大学 理工研究域電子情報通信学系
3 論文 動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

山根, 智, Yamane, Satoshi
9 図書 組み込みソフトウエア

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

日経BP社
4 図書 Access2.0パーフェクトガイド : データベースの設計・管理からAccess Basicプログラミングまでを完全解説

Bruce, Walter R., Madoni, Dan, Wolf, Rich, エディックス, 翔泳社テクニカルコア

翔泳社
10 図書 コンピュータ設計概論 : CMOSから組込みCPUまで

鎌田, 弘之

コロナ社
5 図書 ARM組み込みソフトウェア入門 : 記述例で学ぶ組み込み機器設計のためのシステム開発

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

CQ出版
11 図書 マイコンの割り込み処理とDMA

矢野, 越夫

日本放送出版協会
6 図書 マイコン・システムのリアルタイム制御作法 : Z80の組み込みコンピュータ設計ノウハウ

宮崎, 誠一(1929-), 宮崎, 仁(1957-)

CQ出版社
12 図書 組込みソフトの安全設計 : 基礎から二足歩行ロボットによる実践まで

杉山, 肇

オーム社