Formal development of programs and proofs/

Other Authors:	Dijkstra, Edger W.
Format:	Book
Language:	English
Published:	Massachusetts: Addison- Wesley, 1990
Subjects:	Electronic digital computers > Programming

Similar Items

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

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

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)

Algorithmic language and program development/
by: Bauer, Friedrich Ludwig, 1924-
Published: (1982)

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

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)

The science of programming/
by: Gries, David
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)

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

Guide to good programming practice/
Published: (1980)

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

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)

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

Advances in genetic programming /
Published: (1996)

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

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

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

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

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

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

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

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)

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

The formal semantics of programming languages : an introduction /
by: Winskel, Glynn
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_nmfgusqhrdu2kgs12qpjdv2526