Lanean...

QR Kodea

The logic of programming

Xehetasun bibliografikoak
Egile nagusia:	Hehner, Eric C R; Author
Formatua:	Printed Book
Argitaratua:	New Delhi, Prentice-Hall of India 1984
Gaiak:	Computer programs Mathematical methods Philosophy Programming (Electronic computers)

Antzeko izenburuak

Logic of programming
nork: Hehner, Eric C R
Argitaratua: (1991)

Logic of programming /
nork: Hehner, Eric C. R.
Argitaratua: (1991)

Program construction and verification
nork: Backhouse, Roland C; Author
Argitaratua: (1986)

Mastering Pascal programming
nork: Huggins, Eric
Argitaratua: (1983)

Inductive logic programming
nork: Muggleton, Stephen
Argitaratua: (1992)

The Programming primer: a guide to programming fundamentals
nork: Ribar, John L
Argitaratua: (1994)

Programming Java: an introduction to programming using Java
nork: Decker, Rick; Author, et al.
Argitaratua: (2000)

Programming with Higher-Order Logic /
nork: Miller,, Dale
Argitaratua: (2012)

Introduction to functional programming
nork: Bird, Richard; Author, et al.
Argitaratua: (1988)

Data structures and program design
nork: Kruse, Robert L
Argitaratua: (1991)

Mastering COBOL programming
nork: Hutty, R
Argitaratua: (1983)

From pixels to animation: an introduction to graphics programming
nork: Farrell, James Alan; Author
Argitaratua: (1994)

The Art of C programming
nork: Jones, Robin, et al.
Argitaratua: (1988)

Programming for BASIC
nork: Subramanian, N
Argitaratua: (1986)

Programming with Pascal
nork: Konvalina, John, et al.
Argitaratua: (1987)

Principles of computer programming: Fortran 77 for IBM PC
nork: Rajaraman, V; Author
Argitaratua: (1988)

Logic and prolog programming /
nork: Kaushik,Saroj
Argitaratua: (2008)

Systems programming
nork: Donovan, John J
Argitaratua: (1991)

The Temporal logic of reactive and concurrent systems
nork: Manna, Zohar, et al.
Argitaratua: (1992)

Ada in action: with practical programming examples
nork: Jones, Do-While
Argitaratua: (1989)

An Introduction to programming and problem solving with Pascal
nork: Perlman, David M, et al.
Argitaratua: (1981)

Structure and interpretation of computer programs
nork: Abelson, Harold; Author, et al.
Argitaratua: (1993)

Programming in C
nork: Balagurusamy, E
Argitaratua: (1990)

A Guided tour of computer programming in BASIC
nork: Dwyer, Thomas A, et al.
Argitaratua: (1973)

Unix network programming
nork: Stevens, W Richard; Author
Argitaratua: (1999)

Computer programming and languages
nork: Dodd, K N
Argitaratua: (1969)

Fundamentals of programming languages
nork: Horowitz, Ellis
Argitaratua: (1990)

Concepts of programming languages /
nork: Sebesta, Robert W.
Argitaratua: (2012)

Programming language concepts /
nork: Ghezzi, Carlo
Argitaratua: (1998)

Concepts of programming languages
nork: Sebesta, Robert W.
Argitaratua: (2014)

Essentials of Programming Languages
nork: Daniel P. Friedman
Argitaratua: (1998)

Foundations of programming languages : design and implementation /
nork: Roosta, Seyed H.
Argitaratua: (2003)

Mathematical programming
nork: Hu, T C Ed. by
Argitaratua: (1973)

Programming with FORTRAN 77
nork: Dhaliwal, R S, et al.
Argitaratua: (1989)

Programming language design concepts
nork: Watt, David A
Argitaratua: (2004)

Theoretical introduction to programming
nork: Mills, Bruce
Argitaratua: (2006)

Computer organisation and programming
nork: Gear,William C
Argitaratua: (1980)

Programming languages.- 2nd ed.
nork: Tucker, Allen B.
Argitaratua: (1985)

Computational semantics with functional programming
nork: Eijck, Jan van; Author, et al.
Argitaratua: (2010)

Comdex computer programming course kit
nork: Vikas Gupta; Author
Argitaratua: (2002)