- Information
- 特典に関するお知らせとご注意
- 中古・ユーズドに関するご注意
- 価格（税込）：3,850円
- Vポイント：17pt
-
-
【メーカー取寄】
通常 3～20日で発送予定
商品確保ができない場合、その時点でキャンセルとなる可能性がございます。
発送の目安について
この商品の説明
計算機科学・ソフトウェア科学の分野の研究・教育における新しい発展・研究成果を迅速に公表するために、時宜を得た原著論文・解説論文の予備原稿、テクニカルレポート、講義録、研究会・ワークショップ報告集などを刊行するシリーズ。本書は、１９９９年１１月に北海道登別市で開催された、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」第６回ワークショップの論文集である。一般講演論文は、ソフトウェア工学における基礎理論や基礎概念ならびに基盤技術に関するものであり、招待講演は、「ソフトメカニクスにおける制御プログラムの構成」と「鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド」の２件である。
目次
招待講演；ミニワークショップ；プロセス計算；アーキテクチャ；誤り訂正；ソフトウェア（開発）モデル；代数仕様；エージェント；検証；ドメインモデルとコンポーネント；計算モデル；自律／協調
商品仕様
- アイテム名:書籍
- ページ数:２８２ｐ
- 大きさ:２６ｃｍ（Ｂ５）
- 出版社:近代科学社
- ISBN-10:4764902788
- ISBN-13:9784764902787
【お届けの際のご注意】
▼発送時期について
BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。
また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。
なお、書籍と書籍以外の商品（DVD、CD、ゲーム、GOODSなど）を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。
▼本・コミックの価格表示について
本サイト上で表示されている商品の価格（以下「表示価格」といいます）は、本サイト上で当該商品の表示を開始した時点の価格となります。
この価格は、売買契約成立時までに変動する可能性があります。
利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、
詳しくはオンラインショッピングサービス利用規約をご確認ください。
なお、価格変動による補填、値引き等は一切行っておりません。
■オンラインショッピングサービス利用規約
(1) 宅配サービス：第2章【宅配サービス】第6条において定めます。
(2) TOLピックアップサービス：第3章【TOLピックアップサービス】第12条において定めます。
【サイト表記の書籍カバーについて】
書籍のカバーは、期間限定で変更する場合がございます。
そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。
カバー違いによる交換は行っておりません。
JASRAC許諾番号 ：9036850001Y45040