载入...

QR Code

The logic of programming

书目详细资料
主要作者:	Hehner, Eric C R; Author
格式:	Printed Book
出版:	New Delhi, Prentice-Hall of India 1984
主题:	Computer programs Mathematical methods Philosophy Programming (Electronic computers)

相似书籍

Logic of programming
由: Hehner, Eric C R
出版: (1991)

Logic of programming /
由: Hehner, Eric C. R.
出版: (1991)

Program construction and verification
由: Backhouse, Roland C; Author
出版: (1986)

Mastering Pascal programming
由: Huggins, Eric
出版: (1983)

Inductive logic programming
由: Muggleton, Stephen
出版: (1992)

The Programming primer: a guide to programming fundamentals
由: Ribar, John L
出版: (1994)

Programming Java: an introduction to programming using Java
由: Decker, Rick; Author, et al.
出版: (2000)

Programming with Higher-Order Logic /
由: Miller,, Dale
出版: (2012)

Introduction to functional programming
由: Bird, Richard; Author, et al.
出版: (1988)

Data structures and program design
由: Kruse, Robert L
出版: (1991)

Mastering COBOL programming
由: Hutty, R
出版: (1983)

From pixels to animation: an introduction to graphics programming
由: Farrell, James Alan; Author
出版: (1994)

The Art of C programming
由: Jones, Robin, et al.
出版: (1988)

Programming for BASIC
由: Subramanian, N
出版: (1986)

Programming with Pascal
由: Konvalina, John, et al.
出版: (1987)

Principles of computer programming: Fortran 77 for IBM PC
由: Rajaraman, V; Author
出版: (1988)

Logic and prolog programming /
由: Kaushik,Saroj
出版: (2008)

Systems programming
由: Donovan, John J
出版: (1991)

The Temporal logic of reactive and concurrent systems
由: Manna, Zohar, et al.
出版: (1992)

Ada in action: with practical programming examples
由: Jones, Do-While
出版: (1989)

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

Structure and interpretation of computer programs
由: Abelson, Harold; Author, et al.
出版: (1993)

Programming in C
由: Balagurusamy, E
出版: (1990)

A Guided tour of computer programming in BASIC
由: Dwyer, Thomas A, et al.
出版: (1973)

Unix network programming
由: Stevens, W Richard; Author
出版: (1999)

Computer programming and languages
由: Dodd, K N
出版: (1969)

Fundamentals of programming languages
由: Horowitz, Ellis
出版: (1990)

Concepts of programming languages /
由: Sebesta, Robert W.
出版: (2012)

Programming language concepts /
由: Ghezzi, Carlo
出版: (1998)

Concepts of programming languages
由: Sebesta, Robert W.
出版: (2014)

Essentials of Programming Languages
由: Daniel P. Friedman
出版: (1998)

Foundations of programming languages : design and implementation /
由: Roosta, Seyed H.
出版: (2003)

Mathematical programming
由: Hu, T C Ed. by
出版: (1973)

Programming with FORTRAN 77
由: Dhaliwal, R S, et al.
出版: (1989)

Programming language design concepts
由: Watt, David A
出版: (2004)

Theoretical introduction to programming
由: Mills, Bruce
出版: (2006)

Computer organisation and programming
由: Gear,William C
出版: (1980)

Programming languages.- 2nd ed.
由: Tucker, Allen B.
出版: (1985)

Computational semantics with functional programming
由: Eijck, Jan van; Author, et al.
出版: (2010)

Comdex computer programming course kit
由: Vikas Gupta; Author
出版: (2002)