CiNii 図書 - Axiomatising the logic of computer programming

著者

- Goldblatt, Robert

書誌事項

Axiomatising the logic of computer programming

Robert Goldblatt

（Lecture notes in computer science, 130）

Springer-Verlag, 1982

: gw
: us

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

愛知産業大学・短期大学図書館

: us00700013776

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

: gw549:1072000452882

OPAC
宇都宮大学附属図書館陽東分館

: gw549.08||1|| 1302270127166

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

: gw510.78||L1-1||13010440373

OPAC
大阪産業大学綜合図書館

: gw549.9/47/13001178185

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

: gw08225003865

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

: gw08282001307

OPAC
香川大学図書館

: us007/L/1302112092421

OPAC
関西大学図書館図

: usA183217

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

: gw510.78:265:1300095690038

OPAC
九州大学芸術工学図書館

: gw549.92||L49||130072032182001392

OPAC
九州大学中央図書館

: us549.9/L 49/(130)068582182006064

OPAC
九州大学理系図書館

: gw408/L 49061232004005573, : usSER/LNCS/130068222182004372

OPAC
京都産業大学図書館

: gw418.6||GOL00328790

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

L/N||LNCS||1302837477

OPAC
岐阜大学図書館

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

: gw007.08:L49:130207232225

OPAC
滋賀大学附属図書館

: gw001.6||L 49||130087149873

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

: gw007/L49/1300082055500

OPAC
上武大学附属図書館分館

: gw/007.64/G61/21041969

OPAC
拓殖大学八王子図書館

: gw007.64|| ||331200592252

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

: gw418.607||L 49||130G047378A

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

: gwikkatu

OPAC
電気通信大学附属図書館研

: gw549.98||L49||1302218201968

OPAC
東京大学数理科学研究科図書

: gwFU:Go8005041945,8001114407

OPAC
東京大学先端科学技術研究センター図書室図書室

681.3:L4717600057868

OPAC
東京大学大学院情報理工学系研究科CS図

: gw39:L:1.1302006010876

OPAC
東京理科大学野田図書館野図

: us418.608||L 49||13060184169

OPAC
東北大学附属図書館本館

: gw07850000855

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

: gw04850474239

OPAC
鳥取大学附属図書館図

: gw549.92:G610105698237

OPAC
富山大学附属図書館図

: gw535.54||L49||13090081999

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

: gw007.08||L0047523

OPAC
長崎総合科学大学附属図書館

: gw007.64||GO9000760

OPAC
名古屋工業大学図書館

: gw549.92||G 61

OPAC
名古屋大学経済学図書室経済

: gw418.65||G66||13040776320

OPAC
名古屋大学工学図書室工電気情報

: gw007.64||G50005553

OPAC
名古屋大学情報基盤センター図書室情基セ

: gw50005150

OPAC
一橋大学附属図書館図

: gwSAe:55:130128742450X

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

: gwLN /LNCS/1306950683

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

: gw004/l497/1308220007925

OPAC
三重大学附属図書館

: gw549.9/L 49/13029442534

OPAC
南九州学園都城図書館都図

: us007.64||G111131453

OPAC
立教大学図書館

: gw82-32523

OPAC
和歌山大学教育機構学術情報センター図書館

: gw219890048961

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

この図書・雑誌をさがす

注記

Bibliography: p. 291-298

Includes index

Axiomatising the logic of computer programming

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Axiomatising the logic of computer programming

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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