書店で探す
目次
目次
招待講演
ソフトメカニクスにおける制御プログラムの構成/ 1
鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド/ 2ー6
ミニワークショップ
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
札幌市中央図書館
紙- 請求記号：
- 007.6/ｿ/
- 図書登録番号：
- 0113422935
青森県立図書館
紙- 請求記号：
- 007.61-ｿﾌﾄｳｴｱ-(6)
- 図書登録番号：
- 10212399307
宮城県図書館
紙- 請求記号：
- 007.63/1996.1/6
- 図書登録番号：
- 1006930059
関東
千葉県立西部図書館
紙- 請求記号：
- 0076/ 1785/ 6
- 図書登録番号：
- 1101669187
東京都立中央図書館
紙- 請求記号：
- 5355-5378-6
- 図書登録番号：
- 5000161305
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 4-7649-0278-8
- タイトルよみ
- ソフトウェア コウガク ノ キソ : ニホン ソフトウェア カガッカイ FOSE '99
- 巻次・部編番号
- 6
- 著者・編者
- 荒木啓二郎, 張漢明 編
- シリーズタイトル
- シリーズ著者・編者
- 武市正人, 米澤明憲 編
- 著者標目
- 荒木, 啓二郎, 1954- アラキ, ケイジロウ, 1954- ( 00166447 )典拠張, 漢明, 1963- チョウ, カンメイ, 1963- ( 00763417 )典拠武市, 正人, 1948- タケイチ, マサト, 1948- ( 00079809 )典拠米沢, 明憲, 1947- ヨネザワ, アキノリ, 1947- ( 00158978 )典拠
- 出版事項