The Mathematics of Programming

The Mathematics of Programming

Show other versions (1)

Bibliographic Details
Main Author:	Hoare, C
Format:	Record
Published:	2015

Similar Items

The Mathematics of Programming
by: Hoare, C
Published: (1986)

Is There a Mathematical Basis for Computer Programming?
by: Hoare, C
Published: (1981)

Mathematical Models for Computing Science
by: Hoare, C
Published: (1994)

Mathematical models for computing science
by: Hoare, C
Published: (1996)

Mathematical programming study : computational mathematical programming /
by: Hoffman, K. L., et al.
Published: (1987)

Mathematical programming/
by: Advanced seminar on Mathematical Programming 1972 : Madison, Wisconsin), et al.
Published: (1973)

Mathematical programming/
by: 456278 Reinfeld, Nyles D., et al.
Published: (1958)

Structured Programming in Introductory Programming Courses
by: Hoare, C
Published: (1976)

Introduction to mathematical programming /
by: 420462 Walker, Russell C.
Published: (1999)

Mathematical programming in use /
by: Balinski, M. L., et al.
Published: (1978)

Applied mathematical programming /
by: 195550 Bradley, Stephen P., et al.
Published: (1977)

Hoare on Programming
by: Hoare, C
Published: (2015)

Parallel Programming
by: Hoare, C
Published: (2015)

Program Documentation
by: Hoare, C
Published: (1968)

Programs are Predicates
by: Hoare, C
Published: (1985)

Programs are Predicates
by: Hoare, C
Published: (1992)

Programs are Predicates
by: Hoare, C
Published: (1992)

Programming: Sorcery or Science
by: Hoare, C
Published: (2015)

Unified Theories of Programming
by: Hoare, C
Published: (2015)

Program Correctness Proofs
by: Hoare, C
Published: (1975)

The Varieties of Programming Language
by: Hoare, C
Published: (1989)

Programming is an Engineering Profession
by: Hoare, C
Published: (1983)

Specifications‚ Programs and Implementations
by: Hoare, C
Published: (1982)

Mathematics of Program Construction
Published: (2012)

Mathematics of Program Construction
Published: (1993)

Mathematical foundation of programming /
by: 390126 Beckman, Frank S.
Published: (1980)

Introduction to mathematical programming /
by: 397223 Hillier, Frederick S., et al.
Published: (1995)

Mathematical programming [mikrofilem]
Published: (1971)

Programmed business mathematics/
by: 245634 Huffman, Harry
Published: (1986)

Mathematical programming in practice /
by: 209260 Beale, E. M. L.
Published: (1968)

Computational mathematical programming/
by: Schittkowski, Klaus, et al.
Published: (1985)

Mathematical programming at Obervolfach/
by: Konig, H., et al.
Published: (1981)

Mathematical programming methods /
by: 203977 Zoutendijk, G.
Published: (1976)

Mathematical programming in statistics /
by: 218097 Arthanari, T. S.
Published: (1981)

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs
by: Hoare, C
Published: (1978)

Mathematical programming for economics and business /
by: 342351 Plaffenberger, Roger C., et al.
Published: (1976)

An Axiomatic Basis of Computer Programming
by: Hoare, C
Published: (2015)

Hints on Programming Language Design
by: Hoare, C
Published: (1974)

Notes on the Standardisation of Programming Languages
by: Hoare, C
Published: (1975)

Parallel Programming: An Axiomatic Approach
by: Hoare, C
Published: (1975)