- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540963240
3540963243
9780387963242
0387963243
- Dimensions
-
25 cm
- Extent
-
XIII, 351 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Programmiersprache
Semantik
Kategorientheorie
Semantik
Programmiersprachen
Algebra
Semantik
Programmiersprache
Algebra
- Event
-
Veröffentlichung
- (where)
-
New York, Berlin, Heidelberg, London, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1986
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:26 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Manes, Ernest G.
- Arbib, Michael A.
- Springer
Time of origin
- 1986
Other Objects (12)
Fundamentals of algebraic specification, 1.. Equations and initial semantics
A general algebraic semantics for sentenial [sentential] logics
Predicate calculus and program semantics
Theory of program structures : schemes, semantics, verification
Algebraic approaches to partial differential equations
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Journal on data semantics, 15
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
Compiling natural semantics
Reactive Kripke semantics
Fundamentals of algebraic specification, 1.. Equations and initial semantics
A general algebraic semantics for sentenial [sentential] logics
Predicate calculus and program semantics
Theory of program structures : schemes, semantics, verification
Algebraic approaches to partial differential equations
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Journal on data semantics, 15
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
Compiling natural semantics
Reactive Kripke semantics
Fundamentals of algebraic specification, 1.. Equations and initial semantics
A general algebraic semantics for sentenial [sentential] logics
Predicate calculus and program semantics
Theory of program structures : schemes, semantics, verification
Algebraic approaches to partial differential equations
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Journal on data semantics, 15
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Algebraic K-theory, 2.. Classical algebraic K-theory, and connections with arithmetic
Compiling natural semantics