>> 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
 
1 図書 組込みソフトウェア開発入門 : 組込みシステムの基本をハードウェアとソフトウェアの両面から学ぶ!

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

技術評論社
7 図書 アジャイルソフトウェア開発の奥義 : オブジェクト指向開発の真髄と匠の技

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

SoftBank Creative
2 図書 C/C++による組み込みソフトウェア開発技法 : オブジェクト指向を取り入れた理論と実践

福田, 英徳

ソフトバンククリエイティブ
8 図書 代数的仕様記述とソフトウェエアの正当性証明システムに関する研究

川原林, 隆

三重大学
3 図書 組込みソフトウェア開発向けコーディング作法ガイド : ESCR Ver1.1

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

翔泳社
9 図書 組み込みマイコン教科書 : C言語でLED・モータ・A-Dなどを制御する

今野, 金顕(1944-)

CQ出版
4 図書 組込みソフトウェアレポート2005 : 秘められた技術王国のモノ、ヒト、ワザを一望する

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

翔泳社
10 図書 ワークブック形式で学ぶUMLオブジェクトモデリング : 「ユースケース駆動」でソフトウェアを開発する

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

ソフトバンクパブリッシング
5 図書 知って得するソフトウェア特許・著作権

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

アスキー
11 図書 H8マイコンによるネットワーク・プログラミング : C言語ではじめる組み込みマイコン入門

青木, 直史(1972-)

技術評論社
6 図書 知って得するソフトウェア特許・著作権

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

アスキー
12 図書 よくわかる最新組み込みシステムの基本と仕組み : 電子機器開発の「レシピ」を見る : 世界を支える技術

藤広, 哲也(1960-)

秀和システム