- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540963240
3540963243
9780387963242
0387963243
- Maße
-
25 cm
- Umfang
-
XIII, 351 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Programmiersprache
Semantik
Kategorientheorie
Semantik
Programmiersprachen
Algebra
Semantik
Programmiersprache
Algebra
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1986
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:26 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Manes, Ernest G.
- Arbib, Michael A.
- Springer
Entstanden
- 1986
Ähnliche Objekte (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