This domain may be for sale!
The class meets Monday and Wednesday at 3pm in GHC 4101. Reading list September 9 (Karl Crary) C. A. R. Hoare. An Axiomatic Basis for Computer Programming. 1969. (pdf) Edsger W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. 1975. (pdf) (Optional) C. A. R. Hoare. Proof of a Program: FIND. 1971. (pdf) September 14 (Rob Simmons) Alonzo Church and J. B. Rosser. Some Pro
このページを編集 このページを編集(メニュー非表示編集;α) このページをコピーして新規ページを作成 このページのページ名を変更 このページの編集モードを変更 このページの閲覧/編集権限の変更 このページにファイルをアップロード このウィキにファイルをアップロード(FTP機能/管理者のみ利用可) メニューを編集(メニュー部分は非表示で編集) 右メニューを編集(メニュー部分は非表示で編集)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く