Unifying theories of programming

Unifying theories of programming

Saved in:

Bibliographic Details
Main Author:	Hoare, C. A. R. 1934- Charles Anthony Richard
Other Authors:	Jifeng, He 1943-
Format:	Unknown
Published:	London Prentice-Hall 1998
Subjects:	Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Communicating sequential processes
by: Hoare, C. A. R. 1934- Charles Anthony Richard
Published: (1985)

Programs and machines an introduction to the theory of computation
by: Bird, R. J. Richard J
Published: (1976)

Computer programming and computer systems
by: Hassitt, Anthony
Published: (1968)

Digital computer programming logic and language
by: Thatcher, Charles M. 1922- Charles Manson
Published: (1967)

Genetic programming on the programming of computers by means of natural selection
by: Koza, John R
Published: (1992)

Program flow analysis theory and applications
Published: (1981)

Program construction and verification
by: Backhouse, Roland C. 1948-
Published: (1986)

Programming from first principles
by: Bornat, Richard 1944-
Published: (1987)

Origins of programming discourses on methodology
by: Ershov, A. P. (Andrei Petrovich
Published: (1990)

Principles of program design
by: Jackson, M. A
Published: (1977)

Computer program design
by: Dickson, Elizabeth A
Published: (1996)

Computer program design
by: Dickson, Elizabeth A
Published: (1996)

Programming an introduction to computer techniques
by: Maurer, Ward Douglas 1938-
Published: (1972)

Computer programming
by: Flores, Ivan
Published: (1966)

Foundations of programming
by: Arsac, Jacques
Published: (1985)

Computer programming
Published: (1995)

The evolution of programs
by: Dershowitz, Nachum
Published: (1983)

Computer programming
by: Robinson, Philip
Published: (1982)

Programming logic
by: Leeson, Marjorie
Published: (1988)

The science of programming
by: Gries, David
Published: (1981)

Programming pearls
by: Bentley, Jon Louis
Published: (1989)

Introduction to programming
Published: (1992)

Computer programming
by: Flores, Ivan
Published: (1966)

Program derivation the development of programs from specifications
by: Dromey, Geoff
Published: (1989)

Programming principles an introduction
by: Motil, John
Published: (1984)

Systematic programming an introduction
by: Wirth, Niklaus
Published: (1973)

LEARNING COMPUTER PROGRAMMING STRUCTURED LOGIC, ALGORITHMS, AND FLOWCHARTING
by: Silver, Gerald A
Published: (1986)

Computer programming for science and engineering
by: Moon, B. A. M
Published: (1966)

Computer organization and programming
by: Gear, C. William 1935- Charles William
Published: (1974)

Problems in programming experience through practice
Published: (1991)

An introduction to programming with C++
by: Zak, Diane
Published: (1998)

Introduction to computer programming
by: Cutler, Donald I
Published: (1972)

A discipline of programming
by: Dijkstra, Edsger Wybe
Published: (1976)

Writing efficient programs
by: Bentley, Jon Louis
Published: (1982)

Advanced UNIX programming
by: Rochkind, Marc J
Published: (1985)

Introduction to computer programming
by: Brainerd, Walter S
Published: (1979)

Interactive programming environments
Published: (1984)

The elements of programming style
by: Kernighan, Brian W
Published: (1974)

The art of computer programming
by: Knuth, Donald Ervin 1938-
Published: (1973)

MASTERING COMPUTER PROGRAMMING
by: Gosling, P. E
Published: (1982)