Mathematical logic and programming languages

Name: Mathematical logic and programming languages
Author: C. A. R. Hoare

No description available.

Symbolic and mathematical LogicProgramming languages (Electronic computers)Logic, symbolic and mathematicalComputer programmingCongresses