Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Constable, Robert L.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service) (Language materials, printed)

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