言語: 日文

ログイン

言語

英語 (1)

跳ぶ : 概観 | タイトル | 主題

Constable, Robert L.

概観

著作:	1 作品に 1 出版物中に 1 言語

タイトル

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / …で: Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service) (言語・文字資料 (印刷物))

主題

Computer logic. Mathematical Logic and Formal Languages. Software Engineering. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Programming Techniques. Software engineering. Programming Languages, Compilers, Interpreters. Computer Science. Computer programming.

パスワードを変更する

ログイン