演習プログラムの証明

• • Anderson, Robert Brockett
• • 有澤, 誠 アリサワ, マコト

• 関連文献: 1件

• • Anderson, Robert Brockett
• • 有澤, 誠 アリサワ, マコト

演習プログラムの証明

ロバート・B.アンダスン著 ; 有沢誠訳

(ソフトウェア工学ライブラリ, [1])

近代科学社, 1980.11

タイトル別名

Proving programs correct

タイトル読み

エンシュウ プログラム ノ ショウメイ

大学図書館所蔵 件 / 全107件

• 愛知教育大学 附属図書館 図

  007.64||A4688006963

  愛知淑徳大学 図書館

  007||A46A38316

  会津大学 情報センター (附属図書館) 図

  007.08/S

  明石工業高等専門学校 図書館

  1007.64.AZ91042

  OPAC

• 秋田公立美術大学 附属図書館

  0036262

  OPAC

• 阿南工業高等専門学校 図書館

  007.63||S000008165

  OPAC

• 有明工業高等専門学校 図書館

  007.64||A0000242485

  OPAC

• 茨城工業高等専門学校 学術総合情報センター 図書館 図

  007.6/E041143

  OPAC

• 茨城大学 附属図書館 工学部分館 分

  549:803000385124

  OPAC

• 医療創生大学 図書館

  007.63/A460000308429

  OPAC

• 岩手医科大学 附属図書館 分館 分館

  007.08/So24/1LB48420

  岩手県立大学 メディアセンター メ

  007.6:ソ:1100388487

  岩手大学 図書館

  549.92:So240012531505

  宇部工業高等専門学校 図書館

  418,6088191

  OPAC

• 愛媛大学 図書館 図

  549.92/A17/=217034844

  追手門学院大学 附属図書館 図

  00210973

  OPAC

• 大分大学 学術情報拠点(図書館)

  007.64||A2-110218855

  大阪産業大学 綜合図書館

  549.9/42901234079

  OPAC

• 大阪大学 附属図書館 総合図書館

  08582000884

  OPAC

• 大阪大学 附属図書館 理工学図書館

  08124008197

  OPAC

• 小樽商科大学 附属図書館

  115507

  OPAC

• お茶の水女子大学 附属図書館 図

  548.96/So24/1091020002647

  OPAC

• 開智国際大学 図書館

  9400125

  OPAC

• 香川大学 図書館

  2111346837

  鹿屋体育大学 附属図書館 図

  007.6||So24||1T023184

  OPAC

• 関西学院大学 図書館 上ケ原

  510.78:894:10000282053

  OPAC

• 学習院大学 図書館 図

  547.9||55600520060

  OPAC

• 九州工業大学 附属図書館 情報工学部分館

  549.9||S-4||10400181

  OPAC

• 九州大学 理系図書館

  549.92/A 46/1068031182046173

  OPAC

• 京都大学 数理解析研究所 図書室 数研

  AND||3||12815592

  OPAC

• 京都大学 大学院 情報学研究科

  007.6||AND 5||100097629

  OPAC

• 京都大学 附属図書館 図

  M||159||エ2198035454

  OPAC

• 群馬大学 総合情報メディアセンター 理工学図書館 図書館

  549.92:A462:1207160395

  OPAC

• 高知工科大学 附属情報図書館

  007.64||A46000008482

  神戸大学 附属図書館 自然科学系図書館

  548-8-63//1030008506300

  OPAC

• 神戸大学 附属図書館 経済経営研究所図書館 図書

  549.9-503//1080000053664

  OPAC

• 公立諏訪東京理科大学 図書館 図

  007.6||A 4693000494

  OPAC

• 国際基督教大学 図書館 図

  007.64/A4657PJ03465896

  OPAC

• 佐賀大学 附属図書館 図

  418.6-A 46117117057

  OPAC

• 産業技術短期大学 図書館

  007.64/An/10B030623

  OPAC

• 静岡産業大学 藤枝図書館

  007.6||AN000000173

  静岡大学 附属図書館 浜松分館 浜図

  549.92/9708000660988

  OPAC

• 静岡理工科大学 附属図書館

  007.64||A46||109004812

  周南公立大学 図書館

  007.64||And0027871

  OPAC

• 成蹊大学 図書館

  549.92||45100131751

  西武文理大学 図書館

  0000509

  OPAC

• 専修大学 図書館 図

  10455634

  OPAC

• 拓殖大学 八王子図書館

  007.64|| ||2305T0266370*

  千葉大学 附属図書館 図

  H0126124*

  OPAC

• 中部大学 附属三浦記念図書館 図

  418.6||A 46N176338A

  筑波技術大学 附属図書館 視覚障害系図書館

  007.64:A9000934000

  筑波大学 附属図書館 中央図書館

  007.64-A4610089604225

  津田塾大学 図書館 図

  007.608/So24.1/v.1/c.2J083361

  OPAC

• 津山工業高等専門学校 図書館

  418.6||A120033375

  OPAC

• 帝京大学 宇都宮キャンパス 図書館

  007.64||A4610030542

  帝京大学 福岡キャンパス図書館

  007.64//A46100000001899

  OPAC

• 東京工科大学 メディアセンター

  007.64||A004736

  東京学芸大学 附属図書館 図

  401.3/A4618210220

  東京大学 工学部・工学系研究科 図書

  007.63:So24:11010367686

  OPAC

• 東京大学 総合図書館

  007.64:A460010550812

  OPAC

• 東京都立大学 図書館

  /007.6/A46E010688200

  東京都立大学 図書館 日野館 図

  007.64/A10201113

  東京農工大学 小金井図書館

  548.9650079392

  OPAC

• 東北工業大学 附属図書館

  548.964||S||11803255

  東北大学 附属図書館 工学分館 図

  04850269234

  OPAC

• 東北文化学園大学 総合情報センター 図書館

  548.964/And00013525

  OPAC

• 東洋大学 附属図書館 川越図書館

  0306109471

  OPAC

• 富山県立大学 附属図書館 射水館

  101095305

  OPAC

• 富山高等専門学校 図書館情報センター射水

  549.92||So2||Ko=110048691

  OPAC

• 富山高等専門学校 図書館情報センター本郷

  1000327005

  OPAC

• 豊田工業高等専門学校 図書館

  007.6||A5011084

  OPAC

• 独立行政法人国立高等専門学校機構 香川高等専門学校 詫間キャンパス 図書館

  031156

  OPAC

• 名古屋工業大学 図書館

  549.92||A 46

  OPAC

• 名古屋市立大学 総合情報センター 山の畑分館

  007.64||So||180108872

  名古屋大学 附属図書館 中央学3F

  007.64||A20000671

  名古屋文理大学 図書情報センター

  007/So24/1110011782

  OPAC

• 奈良教育大学 図書館

  1960021572

  奈良女子大学 学術情報センター

  007.64||8787W03455

  奈良先端科学技術大学院大学 附属図書館

  DE10||37||0011139

  OPAC

• 鳴門教育大学 附属図書館

  007.64//A46H9013969,H9038342*

  OPAC

• 新潟工科大学 附属図書館

  007.64/A 46000049129

  新潟大学 附属図書館 図

  007.64//A461870065529

  OPAC

• 日本大学 工学部図書館 図

  549.92||So 243||(1)J8603920

  OPAC

• 一橋大学 附属図書館 図

  *Scb**653**118122105L

  OPAC

• 兵庫県立大学 神戸商科学術情報館

  549.8||407410111402

  兵庫県立大学 姫路環境人間学術情報館

  007.6||(1)||110311045921

  兵庫県立大学 姫路工学学術情報館 図

  418.6|| ||0299A110120293

  弘前大学 附属図書館 本館

  007.6||So24||105409296

  OPAC

• 広島工業大学 附属図書館 図書館

  007.64||E0110017241

  OPAC

• 広島修道大学 図書館

  1

  OPAC

• 広島市立大学 附属図書館

  007.64/アン0000548434

  広島大学 図書館 東図書館

  007.6:E6000134971

  福井大学 附属図書館

  007.64||ENS8808429

  福岡工業大学 附属図書館 図書館

  007.64/A461317183

  OPAC

• 福岡大学 図書館

  10554660

  OPAC

• 北陸先端科学技術大学院大学 附属図書館

  C23.1/ A /1:2924485

  OPAC

• 北海学園大学 附属図書館 図

  007.64/A460121436

  OPAC

• 北海道大学 附属図書館 図

  dc19:005.1/sof0171097454

  OPAC

• 北海道情報大学 図書館

  0000006603

  OPAC

• 三重大学 附属図書館

  007.64/A 4629505369

  OPAC

• 宮崎大学 附属図書館 図

  007.64||A46||21909939

  武蔵大学 図書館

  007.64||175174929

  山口大学 図書館 工学部図書館

  418.6/A462081018190

  OPAC

• 山梨県立大学 図書館 図

  007||And0100000132

  OPAC

• 横浜国立大学 附属図書館

  501.97||ARE00265888

  OPAC

• 立命館大学 図書館

  7310382870

  OPAC

• 龍谷大学 瀬田図書館 図

  38940025911

  該当する所蔵館はありません
• すべての絞り込み条件を解除する

• 国立国会図書館サーチ
• カーリル
• WorldCat

関連文献: p164-171

関連文献: 1件中  1-1を表示

• 1

  ソフトウェア工学ライブラリ

  近代科学社