本文へスキップ
onsuggest
ログイン
本 en

Predicate calculus and program semantics

情報源: Open Library ·

By Edsger Wybe Dijkstra (1990). 1 recommendations on Hacker News.

おすすめの理由

Hacker News rank #11731, 15 mentions, 1 recommenders.

元のページを開く もっと発見する

キーボードショートカット

前の発見
←P
次の発見
→N
いいね
L
合わない
X
保存
S
このヘルプを表示
?
閉じる
Esc

ショートカットは発見ページで使えます。