投票コメント

全11件

• 

  エクスエール

  興味があるから。 (2024/01/16)
  GOOD!0
• 

  artoy

  日本語での類書が他に見当たらないから (2022/02/23)
  GOOD!0
• 

  quote

  日本語で書かれた類書がほかに見つかりませんでした。ぜひ読みたいです。 (2021/08/03)
  GOOD!0
• 

  そくらてす

  ホーア理論についての和書として著名だから (2021/07/01)
  GOOD!0
• 

  sti

  プログラム検証についての重要なトピックであるHoare論理を掘り下げて扱った貴重な和書であり、同レベルの類書は和書では見当たらない。 (2020/10/22)
  GOOD!0
• 

  ishzat

  言わずと知れた名著であり、プログラム検証に関する和書でこれに類するものは全く書かれていないため。 (2020/10/21)
  GOOD!0
• 

  anonymous

  ホーア論理について詳細に記述されている貴重な文献であるため (2020/10/03)
  GOOD!0
• 

  ue_wo

  ホーア論理について記述されている貴重な書籍 (2019/09/12)
  GOOD!0
• 

  geeg

  ホーア論理について日本語で記述された貴重な書籍であるため。 (2018/04/30)
  GOOD!1
• 

  ぼよぽよぴー

  リクエストの有効期限は１年なのでみなさん更新しましょう！！！ ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する』をクリックで更新完了です (2017/07/17)
  GOOD!1
• 

  60th_power

  私の知る限り，日本語で類書はほとんどありません．ぜひ読みたいです． (2013/11/19)
  GOOD!1