Program construction and verification /

Main Author:	Backhouse, Roland C.
Format:	Book
Published:	Englewood Cliffs, NJ.: Prentice-Hall International, c1986
Series:	Prentice-Hall international series in computer science
Subjects:	Electronic digital computers > Programming

Similar Items

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

Program construction : international summer school /
Published: (1979)

An introduction to programming and applications with basic/
by: Hull, T. E
Published: (1979)

Programming in the 1990s: an introduction to the calculation of programs/
by: Cohen, Edward E.
Published: (1990)

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

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

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

The science of programming/
by: Gries, David, 1939-
Published: (1983)

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

Introduction to computer programming= Computer programming/
by: Cutler, Donald I.
Published: (1964)

Programming languages : history and fundamentals /
by: Sammet, Jean E
Published: (1969)

Genetic programming II: automatic discovery of reusable programs/
by: Koza, John R.
Published: (1994)

Abstraction and specification in program development/
by: Liskov, Barbara
Published: (1986)

Computer programming fundamentals/
by: Leeds, Herbert D.
Published: (1961)

Formal development of programs and proofs/
Published: (1990)

Guide to good programming practice/
Published: (1980)

Advances in genetic programming /
Published: (1996)

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

The UNIX programming environment/
by: Kernighan, Brian W.
Published: (1984)

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

Advances in genetic programming/
Published: (1994)

Intensional logics for programming/
Published: (1992)

Program flow analysis : theory and applications /
Published: (1981)

Program flow analysis: : theory and applications/
Published: (1981)

Computer programming handbook: : a guide for beginners/
by: Nathan, Robert
Published: (1961)

More programming pearls: confessions of a coder/
by: Bentley, Jon Louis
Published: (1988)

The design of well-structured and correct programs/
by: Alagic, Suad
Published: (1978)

Introduction to programming and computer science/
by: Ralston, Anthony
Published: (1971)

Knowledge-based program construction /
by: Barstow, David R.
Published: (1979)

Programming languague concepts and paradigms/
by: Watt, David A.
Published: (1990)

Advanced programming: a practical course/
by: Barron, D. W. 1935-
Published: (1984)

Advanced programming : a practical course /
by: Barron, D. W. 1935-
Published: (1984)

Digital computer programming/
by: McCracken, Daniel D.
Published: (1957)

Digital computer programming/
by: McCracken, Daniel D.
Published: (1957)

A discipline of programming/
by: Dijkstra, Edsger W.
Published: (1976)

ST9 family 8/16 bit MCU :Programming
Published: (1991)

ST9 family 8/16 bit MCU :Programming manual
Published: (1993)

Wir machen ein Programm : eine einfuhrung in die praxis der datenverarbeitung /
by: Fuchshuber, Roland
Published: (1969)

A programming language/
by: Iverson, Kenneth E.
Published: (1967)

Program verification/
by: Francez, Nissim
Published: (1992)

Cannot write session to /tmp/vufind_sessions/sess_lj857giqv5qbh7kapb95hhlnp0