Semantics of Programming Languages

Semantics of Programming Languages

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tennent, R. D. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Prentice Hall c1991
Σειρά:	Prentice-Hall International Series in Computer Sience / C.A.R. Hoare
Θέματα:	PROGRAMMING LANGUAGES Σημασιολογία ΕΣΑ

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

High-order operational techniques in semantics
Έκδοση: (1998)

Semantics of Sequential and Parallel Programming
ανά: Best, Eike
Έκδοση: (1996)

Database Programming Languages Deductive, Functional, Persistent and Object-Oriented Aproaches
ανά: Cooper, Richard, κ.ά.
Έκδοση: (1996)

From logic programming to prolog
Έκδοση: (1997)

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

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

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

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

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

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

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

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

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

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

Semantics and Logic of Computation

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

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

Introduction to natural language semantics
ανά: Swart, Henriette de 1961-
Έκδοση: (1998)

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

Semantics /
ανά: Saeed, John I.
Έκδοση: (2003)

Semantics
ανά: Kearns, Kate
Έκδοση: (2000)

Semantics /
ανά: Leech, Geoffrey N.
Έκδοση: (1974)

Semantics /
ανά: Saeed, John I.
Έκδοση: (1997)

Semantics /
ανά: Leech, Geoffrey N.
Έκδοση: (1974)

Semantics /
ανά: Kearns, Kate
Έκδοση: (2011)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

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

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Semantics : an introduction to meaning in language /
ανά: Cann, Ronnie
Έκδοση: (2009)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

Semantics a new outline
ανά: Palmer, Frank Robert
Έκδοση: (1976)

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
ανά: Ullman, Chris, κ.ά.
Έκδοση: (2002)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

Compositional semantics : an introduction to the syntax/semantics interface /
ανά: Jacobson, Pauline I., 1947-
Έκδοση: (2014)

Semantic theory
ανά: Katz, Jerrold J.
Έκδοση: (1972)

The principles of semantics
ανά: Ullmann, Stephen
Έκδοση: (1957)

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