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

SpecC仕様記述言語と方法論

フォーマット:
図書
責任表示:
Daniel D.Gajski [ほか] 著 ; 木下常雄, 冨山宏之訳
言語:
日本語
出版情報:
東京 : CQ出版, 2000.12
形態:
xiii, 309p ; 24cm
著者名:
シリーズ名:
Design wave books <BN12037320>
書誌ID:
BA50470972
ISBN:
9784789833530 [4789833534]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 入門Verilog HDL記述 : ハードウェア記述言語の速習&実践

小林, 優

CQ出版
7 図書 SpecC : specification language and methodology

Gajski, Daniel D.

Kluwer Academic
2 図書 Javaリアルタイム仕様

Bollella, Greg., 富士ゼロックス情報システム

ピアソン・エデュケーション
8 電子ブック トップエスイー実践講座(VDM++による形式仕様記述)

石川冬樹, 石川 冬樹, 荒木 啓二郎【監修】

近代科学社
3 図書 ページ記述言語PostScriptチュートリアル&クックブック

Adobe Systems, 野中, 浩一(1954-), アスキー出版技術部

アスキー
9 図書 SystemVerilog入門 : 設計・仕様・検証のためのハードウェア記述言語

篠塚, 一也

共立出版
4 図書 ページ記述言語PostScriptリファレンス・マニュアル

Adobe Systems, アドビシステムズジャパン

アスキー
10 電子ブック VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩

石川, 冬樹, 荒木, 啓二郎

近代科学社
5 図書 ページ記述言語PostScriptリファレンス・マニュアル

Adobe Systems, 松村, 邦仁

アスキー
11 図書 記述言語学

竹林, 滋(1926-), Gleason, Henry Allan, Jr., 1917-, 横山, 一郎(1900-)

大修館書店
6 図書 ページ記述言語PostScriptプログラム・デザイン

Adobe Systems, 松村, 邦仁, アスキー出版技術部

アスキー
12 図書 記述言語学

Gleason, Henry Allan, Jr., 1917-, 竹林, 滋(1926-), 横山, 一郎(1932-)

大修館書店