785 followers
RT @kimarx: Predicate Calculus and Program Semantics - Springer https://t.co/QcznJqsW5P 無理公開されているダイクストラの著書をまたひとつ発見した。『述語計算とプログラミング意味論』。
RT @kimarx: Predicate Calculus and Program Semantics - Springer https://t.co/QcznJqsW5P 無理公開されているダイクストラの著書をまたひとつ発見した。『述語計算とプログラミング意味論』。
Predicate Calculus and Program Semantics - Springer https://t.co/QcznJqsW5P 無理公開されているダイクストラの著書をまたひとつ発見した。『述語計算とプログラミング意味論』。