- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540185406
3540185402
9780387185408
0387185402
- Maße
-
24 cm
- Umfang
-
IX, 124 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturverz. S. 118 - 124
- Erschienen in
-
Lecture notes in computer science ; 285
- Schlagwort
-
VLSI
Entwurf
Formale Semantik
Semantik
Digitaltechnik
Semantik
Digitaltechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1987
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2024, 11:50 MEZ
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
- Delgado Kloos, Carlos
- Springer
Entstanden
- 1987
Ähnliche Objekte (12)
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Variation-aware adaptive voltage scaling for digital CMOS circuits
Journal on data semantics, 15
Symposium on semantics of algorithmic languages
Formal syntax and semantics of Java
Semantics from different points of view
Complementary definitions of programming language semantics
Semantics in databases
Reactive Kripke semantics
Compiling natural semantics
Asynchronous circuits
Foundations for microwave circuits
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Variation-aware adaptive voltage scaling for digital CMOS circuits
Journal on data semantics, 15
Symposium on semantics of algorithmic languages
Formal syntax and semantics of Java
Semantics from different points of view
Complementary definitions of programming language semantics
Semantics in databases
Reactive Kripke semantics
Compiling natural semantics
Asynchronous circuits
Foundations for microwave circuits
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Variation-aware adaptive voltage scaling for digital CMOS circuits
Journal on data semantics, 15
Symposium on semantics of algorithmic languages
Formal syntax and semantics of Java
Semantics from different points of view
Complementary definitions of programming language semantics
Semantics in databases
Reactive Kripke semantics
Compiling natural semantics
Asynchronous circuits