宇部工業高等専門学校
ヘルプ ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

宇部工業高等専門学校

検索結果一覧へ戻る

演習プログラムの証明

ロバート・B.アンダスン著 ; 有沢誠訳. -- 近代科学社, 1980. -- (ソフトウェア工学ライブラリ ; [1]). <BB00244498>
便利機能：
詳細情報を見る
書誌URL：

演習プログラムの証明

ロバート・B.アンダスン著 ; 有沢誠訳. -- 近代科学社, 1980. -- (ソフトウェア工学ライブラリ ; [1]). <BB00244498>
便利機能：
詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 宇部高専 書庫2階 418,6 088191 0件
No. 0001
巻号
所蔵館 宇部高専
配置場所 書庫2階
請求記号 418,6
資料ID 088191
状態
コメント
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 演習プログラムの証明 / ロバート・B.アンダスン著 ; 有沢誠訳
エンシュウ プログラム ノ ショウメイ
出版・頒布事項 東京 : 近代科学社 , 1980.11
形態事項 174p ; 21cm
巻号情報
ISBN 4764900645
書誌構造リンク ソフトウェア工学ライブラリ||ソフトウェア コウガク ライブラリ <BB00258775> [1]//a
その他の標題 原タイトル:Proving programs correct
注記 関連文献: p164-171
学情ID BN01964118
本文言語コード 日本語
著者標目リンク Anderson, Robert Brockett, 1941- <NC:DA02024611>
著者標目リンク 有澤, 誠(1944-)
アリサワ, マコト <NC:DA00186372> 訳
分類標目 NDC7:418.6
分類標目 情報科学 NDC8:007.64
分類標目 科学技術 NDLC:M159
件名標目等 プログラミング(電子計算機)||プログラミング(デンシケイサンキ)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)

    購入依頼

    この書誌のQRコード