感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

ソフトウェア工学ハンドブック

著者名 榎本肇／編
出版者 オーム社
出版年月 1986
請求記号 N5499-2/01398/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0210159760一般和書２階書庫　在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 N5499-2/01398/
書名 ソフトウェア工学ハンドブック
著者名 榎本肇／編
出版者 オーム社
出版年月 1986
ページ数 534p
大きさ 27cm
ISBN 4-274-07263-0
一般注記 文献 執筆:阿草清磁[ほか34名]
分類 54992
一般件名 ソフトウェア
書誌種別 一般和書
タイトルコード 1009310056314

要旨 本書は、ソフトウェアの基本問題を、最新の技術的、学問的成果に基づいて、それぞれの領域の第一人者による吟味考察を経て、今日的課題に応えるために、集大成された斯界の研究者・技術者待望のアドバンスハンドブックです。技術者・研究者座右の書！
目次 １．　情報の構造とその表現
２．　要求分析とその仕様化技法
３．　ソフトウェアの代数的仕様記述の理論
４．　代数的言語の設計と処理系
５．　コンパイラの構造
６．　プログラミング方法論と言語機能
７．　ソフトウェアの検証
８．　知識ベースとソフトウェア開発
９．　協同処理の構成と記述
１０．　分散処理とコミュニケーション
１１．　仮想記憶の管理技術
１２．　セキュリティ
１３．　高信頼度ソフトウェアの構造
１４．　ソフトウェアの開発環境
１５．　ＣＡＤにおける階層化ソフトウェアとそのツール
１６．　ローカルエリアコンピュータネットワークの開発と評価手法


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。