- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540969570
3540969578
9780387969572
0387969578
- Dimensions
-
25 cm
- Extent
-
X, 220 S.
- Language
-
Englisch
- Keyword
-
Programmiersprache
Semantik
Prädikatenumformer
Programmiersprachen
Prädikatenkalkül
Mathematische Logik
Semantik
Programmiersprache
Prädikatenkalkül
Mathematische Logik
Semantik
- Event
-
Veröffentlichung
- (where)
-
New York, Berlin, Heidelberg, London, aris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1990
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:02 PM CET
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
- Dijkstra, Edsger W.
- Scholten, Carel S.
- Springer
Time of origin
- 1990
Other Objects (12)
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Algebraic approaches to program semantics
Theory of program structures : schemes, semantics, verification
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Multivariable calculus and Mathematica, Buch.
Animating calculus, Buch.
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Stochastic calculus and applications
Multivariate calculus and geometry
Multivariate calculus and geometry
Stochastic calculus and financial applications
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Algebraic approaches to program semantics
Theory of program structures : schemes, semantics, verification
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Multivariable calculus and Mathematica, Buch.
Animating calculus, Buch.
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Stochastic calculus and applications
Multivariate calculus and geometry
Multivariate calculus and geometry
Stochastic calculus and financial applications
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Algebraic approaches to program semantics
Theory of program structures : schemes, semantics, verification
Semantics, applications, and implementation of program generation : international workshop ; proceedings
Semantics, applications, and implementation of program generation : second international workshop ; proceedings
Multivariable calculus and Mathematica, Buch.
Animating calculus, Buch.
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Stochastic calculus and applications
Multivariate calculus and geometry
Multivariate calculus and geometry