The logic of programming

The logic of programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hehner, Eric C. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Englewood Cliffs N.J. Prentice-Hall c1984
Σειρά:	Prentice-Hall International Series in Computer Science
Θέματα:	COMPUTER PROGRAMMING

Παρόμοια τεκμήρια

Logic programming
Έκδοση: (1982)

Foundations of logic programming
ανά: Lloyd, J. W. 1947- (John Wylie)
Έκδοση: (1984)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987)

Structured programming
ανά: Dahl, O. J., κ.ά.
Έκδοση: (1972)

The science of programming
ανά: Gries, David
Έκδοση: (1981)

Functional programming
ανά: Field, Anthony J., κ.ά.
Έκδοση: (1988)

Functional programming Application and implementation
ανά: Henderson, Peter
Έκδοση: (1980)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

A method of programming
ανά: Dijkstra, Edsger Wybe, κ.ά.
Έκδοση: (1988)

Tutorial on structured programming Integrated practices
ανά: Baker, F. T., κ.ά.
Έκδοση: (1981)

Abstraction and specification in program development
ανά: Guttag, John, κ.ά.
Έκδοση: (1986)

Managing a programming project
ανά: Metzger, Philip W.
Έκδοση: (1981)

Fortran codes for mathematical programming Linear, quadratic and discrete
ανά: Land, A. H., κ.ά.
Έκδοση: (1973)

Research directions in object-oriented programming
Έκδοση: (1987)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

8080 Programming for Logic Design
Έκδοση: (1976)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Structure and interpretation of computer programs
ανά: Abelson, Harold, κ.ά.
Έκδοση: (1985)

Computer organization and programming
ανά: Gear, C. W.
Έκδοση: (1969)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

An introduction to algorithm design and structured programming
ανά: Reed, Thomas A.
Έκδοση: (1988)

Programming with Constraints An Introduction
ανά: Marriott, Kim, κ.ά.
Έκδοση: (1998)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Generating language-based environments
ανά: Reps, Thomas W.
Έκδοση: (1984)

The design and evaluation of a high performance smalltalk system
ανά: Ungar, David M.
Έκδοση: (1987)

Application development without programmers
ανά: Martin, James, 1933-2013
Έκδοση: (1982)

Digital computer design
ανά: Kline, Raymond M.
Έκδοση: (1977)

Computer organization and programming With an emphasis on the personal computer
ανά: Gear, C. W.
Έκδοση: (1985)

Dynamic, Genetic, and Chaotic Programming The Sixth-Generation
ανά: IRIS Group, κ.ά.
Έκδοση: (1992)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Programming the M68000
ανά: King, Tim, κ.ά.
Έκδοση: (1987)

Microprocessor architecture and programming
ανά: Leahy, William F.
Έκδοση: (1977)

The art of computer programming
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών