Logical derivation of computer programs

Logical derivation of computer programs

Saved in:

Bibliographic Details
Main Author:	Windekrecht, Thomas G
Format:	Book
Published:	London Intellect 1999
Subjects:	Computer programming > Mathematics Computer programming > problems, exercises, etc
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conceptual programming tips for interviews and competitive exams tricky problems and solutions
by: Chhabra, Jitender Kumar
Published: (2011)

Computer programming problems, Batch 1
Published: (1973)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Problem solving and computer programming
by: Grogono, Peter
Published: (1982)

The logical basis for computer programming
by: Manna, Zohar
Published: (1985)

Computation as logic
by: Lalement, Rene
Published: (1993)

Program derivation the development of programs from specifications
by: Dromey, Geoff
Published: (1989)

Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988)

Simplified FORTRAN programming with companion problems
by: Rosenblatt, Lisa
Published: (1973)

Problem solving and structured programming in FORTRAN
by: Friedman, Frank L
Published: (1977)

Applications programming in ANSI C solutions manual
by: Johnsonbaugh, Richard 1941-
Published: (1996)

A collection of programming problems and techniques
by: Maurer, Hermann A. 1941-
Published: (1972)

Computer programming logic using flowcharts
by: Farrell, Joyce M
Published: (1995)

Studies in automatic programming logic
by: Manna, Zohar
Published: (1977)

Programming logic
by: Leeson, Marjorie
Published: (1988)

Programming logics an introduction to verification and semantics
by: Gumb, Raymond D
Published: (1989)

theory and problems of introduction to computer science
by: Schaum, Daniel
Published: (1970)

Schaum's outline of theory and problems of programming with structured COBOL
by: Newcomer, Lawrence R
Published: (1984)

Schaum's outline of theory and problems of programming with structured COBOL
by: Newcomer, Lawrence R
Published: (1984)

Parallel logic programming
by: Tick, Evan 1959-
Published: (1991)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Mathematical logic and programming languages
Published: (1985)

Foundations of logic programming
by: Lloyd, J. W. (John Wylied1947-
Published: (1984)

The Journal of logic programming
Published: (1984)

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

Computer programs in Basic
by: Friedman, Paul
Published: (1981)

Parallel algorithm derivation and program transformation
Published: (1993)

The art of computer programming
by: Drury, Donald William
Published: (1979)

Logic and structured design for computer programmers
by: Rood, Harold J
Published: (1985)

Logic and structured design for computer programmers
by: Rood, Harold J
Published: (1992)

The journal of logic and algebraic programming
Published: (2001)

Parallel logic programming in PARLOG the language and its implementation
by: Gregory, Steve
Published: (1987)

Programming with multiple precision
by: Nikolaevskaya, Elena
Published: (2012)

A programming logic with an introduction to the PL/CV verifier
by: Constable, R. L. Robert L
Published: (1978)

Mathematical computing
by: Betounes, David
Published: (2002)

The C answer book solutions to the exercises in The C programming language, second edition, by Brian W. Kernighan and Dennis M. Ritchie
by: Tondo, Clovis L
Published: (1989)

LEARN C THE HARD WAY Practice Exercises on the Computational Subjects You Keep Avoiding (Like C)
by: Shaw, Zed
Published: (2016)

PASCAL programs in science and engineering
by: Gilder, Jules H. 1947-
Published: (1983)

Designing computer programs
by: Haigh, Jim
Published: (1995)

Basic computer programming
by: Wong, Vincent Poo Yang
Published: (2007)