Equational logic as a programming language

Equational logic as a programming language

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	O'Donnell, Michael J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985
Θέματα:	PROGRAMMING LANGUAGES ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού

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

80386/80286 assembly language programming
ανά: Murray, William H., κ.ά.
Έκδοση: (1986)

Principles of programming languages
ανά: Tennent, R. D.
Έκδοση: (1981)

A view of programming languages
ανά: Galler, B. A., κ.ά.
Έκδοση: (1970)

Parallel logic programming in PARLOG The language and its implementation
ανά: Gregory, Steve
Έκδοση: (1987)

Theory and problems of programming with Assembly language
ανά: Geoldberg, David E., κ.ά.
Έκδοση: (1988)

The Denotational Description of Programming Languages An Introduction
ανά: Gordon, Michael J. C.
Έκδοση: (1979)

The 8086 book
ανά: Alexy, George, κ.ά.
Έκδοση: (1980)

Programming languages Design and implementation
ανά: Pratt, Terrence W.
Έκδοση: (1984)

Comparative Programming Languages
ανά: Clark, Robert G., κ.ά.
Έκδοση: (1988)

Programming in C
ανά: Kochan, Stephen G.
Έκδοση: (1983)

FORTRAN programming and WATFIV
ανά: Bohl, Marilyn, κ.ά.

Simplified Fortran programming: with companion problems
ανά: Rosenblatt, Judah, κ.ά.
Έκδοση: (1973)

Programming in OCCAM 2
ανά: Burns, Alan
Έκδοση: (1988)

Compiling Functional Languages
ανά: Diller, Antoni
Έκδοση: (1988)

Abstraction mechanisms and language design
ανά: Hilfinger, Paul
Έκδοση: (1986)

Programming Languages Design and implementation
ανά: Pratt, Terrence W., κ.ά.
Έκδοση: (2001)

Languages and machines An introduction to the theory of computer science
ανά: Sudkamp, Thomas A.
Έκδοση: (1988)

The ADA Programming Language: A Tutorial
ανά: Fritz, Robert E., κ.ά.
Έκδοση: (1983)

FORTRAN with engineering applications
ανά: McCracken, Daniel D.
Έκδοση: (1967)

Advanced Turbo Prolog: version 1.1
ανά: Schildt, Herbert
Έκδοση: (1987)

Smalltalk - 80 The Language
ανά: Goldberg, Adele, κ.ά.
Έκδοση: (1989)

8080A/8085 Assembly language programming
ανά: Leventhal, Lance A.
Έκδοση: (1978)

The C programming tutor
ανά: Sidebottom, Thomas O., κ.ά.
Έκδοση: (1984)

A simplified guide to FORTRAN programming /
ανά: McCracken, Daniel D.
Έκδοση: (1974)

C programming guide
ανά: Purdum, Jack J.
Έκδοση: (1985)

Prolog programming Applications for database systems, expert systems and natural language systems
ανά: Marcus, Claudia
Έκδοση: (1986)

Assembly language basics An annotated program book
ανά: Dodes, Irving A.
Έκδοση: (1975)

Basic programming
ανά: Kemeny, John G., κ.ά.
Έκδοση: (1971)

An introduction to formal language theory
ανά: Arbib, Michael A., κ.ά.
Έκδοση: (1988)

Fortran, programming, programs and schematic storage maps
ανά: Mochel, Myron G.
Έκδοση: (1971)

Formal specification of interactive graphics programming languages
ανά: Mallgren, William R.
Έκδοση: (1985)

The C programming language
ανά: Kerninghan, Brian W., κ.ά.
Έκδοση: (1978)

Introduction to Formal languages
ανά: Revesz, Gyorgy E.
Έκδοση: (1985)

The Vienna development method: the meta-language
Έκδοση: (1978)

Exploring language with LOGO
ανά: Feurzeig, Wallace, κ.ά.
Έκδοση: (1987)

Time - shared computer languages An introduction to conversational computing
ανά: Schur, Lee D.
Έκδοση: (1973)

The C++ programming language
ανά: Stroustrup, Bjarne
Έκδοση: (1986)

Programming Perl
ανά: Wall, Larry, κ.ά.
Έκδοση: (2000)

A Structured Approach to FORTRAN 77 Programming
ανά: Ellis, T.M. R.
Έκδοση: (1982)

8080/8085 Assembly language subroutine
ανά: Leventhal, Lance A., κ.ά.
Έκδοση: (1983)

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