Proving programs correct

• • Anderson, Robert Brockett

• • Anderson, Robert Brockett

Proving programs correct

Robert B. Anderson

Wiley, c1979

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

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

  549:694000451685

  OPAC

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

  07926021929

  OPAC

• 香川大学 図書館

  九州大学 中央図書館

  549.9/A 46/1058211981144178

  OPAC

• 九州大学 理系図書館

  068222480109958

  OPAC

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

  AND||29||12498280

  OPAC

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

  549.92:A46207227717

  OPAC

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

  547.01/268500001063

  OPAC

• 城西大学 水田記念図書館

  2004005265

  OPAC

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

  ikkatu

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

  25:A:112006026948

  OPAC

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

  07850041579

  OPAC

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

  04850471962

  OPAC

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

  1306146489

  OPAC

• 名古屋工業大学 図書館

  549.92||A 46

  OPAC

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

  418.6||An40672056

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

  600||3540678039

  北海道大学 大学院工学研究科・工学部図書室 図書

  dc16:001.642/an243520914663

  OPAC

• 三重大学 附属図書館

  007.64/A 4629436305

  OPAC

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

• カーリル
• WorldCat

Bibliography: p. 170-182

Includes index