Programs and machines : an introduction to the theory of computation / Richard Bird.
By: Bird, R. J. (Richard J.) [author]
.
Material type: 
BookSeries: Wiley series in computing: Publisher: London : Wiley & Sons, [1976]Copyright date: ©1976Description: x, 214 pages ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 0471016500 (hardback).Subject(s): Computer programming | Machine theoryDDC classification: 005.1 | Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| General Lending | MTU Bishopstown Library Store Item | 005.1 (Browse shelf(Opens below)) | 1 | Available | 00029479 |
"A Wiley--Interscience publication.".
'A Wiley-Interscience Publication'.
Bibliography: (pages 208-211) and index.
Programs and machines -- The equivalence of programs -- Algorithms and universal machines -- Unsolvable decision problems -- The correctness of programs -- The definition of functions by recursion -- The fixed point theory of recursion -- Applications of the fixed point theory.