Program construction and verification

Program construction and verification

Saved in:

Bibliographic Details
Main Author:	Backhouse, Roland C. 1948-
Format:	Unknown
Published:	Englewood Cliffs, N.J. Prentice-Hall International 1986
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

Program construction calculating implementations from specifications
by: Backhouse, Roland C. 1948-
Published: (2003)

On the construction of programs
Published: (1980)

Syntax of programming languages theory and practice
by: Backhouse, Roland C.
Published: (1979)

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

Unifying theories of programming
by: Hoare, C. A. R. 1934- Charles Anthony Richard
Published: (1998)

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)

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

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

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

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

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

Problems in programming experience through practice
Published: (1991)

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)

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

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)

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

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

THE ART OF COMPUTER PROGRAMMING
by: Knuth, Donald Ervin 1938-
Published: (1973)

Mastering computer programming
by: Gosling, P. E
Published: (1982)

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

An introduction to program design
by: Sargent, David 1946-
Published: (1991)

Logic tools of programming
by: Pace, Philip
Published: (1987)

A method of programming
by: Dijkstra, Edsger Wybe
Published: (1988)

Cannot write session to /tmp/vufind_sessions/sess_9cbpsanrocap4uo0dc352u9fl8