Mathematical logic and programming languages /
edited by C.A.R. Hoare and J.C. Shepherdson.

Description

Tools

Cite this Export citation file

Related Names: Shepherdson, J. C.
Hoare, C. A. R. (Charles Antony Richard), 1934-
Language(s): English
Published: Englewood Cliffs, N.J. : Prenntice-Hall International, c1985.
Subjects: Programming languages (Electronic computers)
Logic, Symbolic and mathematical
Note: "The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984."
Physical Description: 184 p. : ill. ; 24 cm.
ISBN: 0135614651
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of Michigan

View HathiTrust MARC record

Similar Items

Communicating sequential processes

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1985

Developments in concurrency and communication

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1990

The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17 October 1985

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1986

Computer science; an inaugural lecture delivered before the Queen's University of Belfast on 10 February 1971

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1971

Specification-oriented semantics for communicating processes

Author: Olderog, E.-R.
Published: 1984

Structured programming

Author: Dahl, Ole-Johan, 1931-
Published: 1972

Unifying theories of programming

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1998

A Classical mind : essays in honour of C.A.R. Hoare

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 1994

Software system reliability and security

Author: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: 2007

Mechanized reasoning and hardware design

Author: Gordan, M. J. C.
Published: 1992