Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Constable, Robert L.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service) (Electronic resources)

Subjects

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.

Change password

Login