Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
The Temporal Logic of Reactive and Concurrent Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
117,69 €
inkl. 7 % MwSt. zzgl. Versandkosten
Specification
| ISBN: | 0387976647 |
|---|---|
| ISBN 13: | 9780387976648 |
| Autor: | Manna, Zohar/Pnueli, Amir |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 427 S. |
| Erscheinungsdatum: | 18.12.1991 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Reactive Plans]()
Concurrent Reactive Plans
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synchronous Programming of Reactive Systems]()
Synchronous Programming of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic from the Chronicles Paradigm:]()
Temporal Logic from the Chronicles Paradigm:
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Total vegan - Zero Waste]()
Total vegan – Zero Waste
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On Concurrent Programming]()
On Concurrent Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verifying Concurrent Processes Using Temporal Logic]()
Verifying Concurrent Processes Using Temporal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Distillation]()
Reactive Distillation
84,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Analysis of Concurrent Systems]()
The Analysis of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Distillation]()
Reactive Distillation
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Objects and Beyond]()
Concurrent Objects and Beyond
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computerisierung eines Live-Systems]()
Computerisierung eines Live-Systems
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Infection in Goats]()
Concurrent Infection in Goats
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic in Specification]()
Temporal Logic in Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On Concurrent Programming]()
On Concurrent Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extending Temporal Logic with Omega-automata]()
Extending Temporal Logic with Omega-automata
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Integration]()
Reactive Integration
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aufgaben und beruflicher Alltag der Schulleitung Lugano]()
Aufgaben und beruflicher Alltag der Schulleitung Lugano
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Queen of Hearts]()
Queen of Hearts
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics of Concurrent Computation]()
Semantics of Concurrent Computation
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Am Rande des Chaos]()
Am Rande des Chaos
24,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 75 Years of the Indian National Sample Survey]()
75 Years of the Indian National Sample Survey
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synchronous Programming of Reactive Systems]()
Synchronous Programming of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erklärungsvariablen im Online-Versicherungsvertrieb]()
Erklärungsvariablen im Online-Versicherungsvertrieb
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Supervisiory Control of Concurrent Systems]()
Supervisiory Control of Concurrent Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming]()
Concurrent Programming
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Concurrent Haskell]()
Practical Concurrent Haskell
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Eve of Islam]()
The Eve of Islam
119,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Concurrent Systems]()
Understanding Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic of Programs]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics and Models of Concurrent Systems]()
Logics and Models of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Verification of Concurrent Systems]()
Specification and Verification of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering]()
Concurrent Engineering
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heat Convection in Micro Ducts]()
Heat Convection in Micro Ducts
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Education of Prospective Teachers]()
The Education of Prospective Teachers
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Analysis of Concurrent Systems]()
Specification and Analysis of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Extraction]()
Reactive Extraction
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zero Distance]()
Zero Distance
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Calculus of Computation]()
The Calculus of Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cultural Translation]()
Cultural Translation
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Origin of Concurrent Programming]()
The Origin of Concurrent Programming
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 75 Years of the Indian National Sample Survey]()
75 Years of the Indian National Sample Survey
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation]()
Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation
165,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Complex Systems Concurrent Engineering]()
Complex Systems Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Ethical and Theological Appropriation of Heideggers Critique of Modernity]()
An Ethical and Theological Appropriation of Heideggers Critique of Modernity
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Auswirkungen von Biozymen in Chili]()
Auswirkungen von Biozymen in Chili
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics of Systems of Concurrent Processes]()
Semantics of Systems of Concurrent Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Analysis of Complex Concurrent Systems]()
Logical Analysis of Complex Concurrent Systems
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Thinking in Science Classrooms: Students Learning and Teachers Professional Development]()
Higher Order Thinking in Science Classrooms: Students Learning and Teachers Professional Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Non-State Actors]()
Understanding Non-State Actors
114,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Insider Trading: A Critical Analysis]()
Insider Trading: A Critical Analysis
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heat Convection in Micro Ducts]()
Heat Convection in Micro Ducts
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Crash-Prone Shared Memory Systems]()
Concurrent Crash-Prone Shared Memory Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
64,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Impact of Biozyme in Chilli]()
Impact of Biozyme in Chilli
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: You can cook this!]()
You can cook this!
24,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Zero-Knowledge]()
Concurrent Zero-Knowledge
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conclog: A Methodological Approach to Concurrent Logic Programming]()
Conclog: A Methodological Approach to Concurrent Logic Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Hawking temperature and Cosmology in the context of Dark energy]()
The Hawking temperature and Cosmology in the context of Dark energy
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming, Open Systems and Formal Methods]()
Concurrent Programming, Open Systems and Formal Methods
87,73 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Simultaneous Engineering Systems]()
Concurrent Simultaneous Engineering Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scaling-up Higher Order Thinking]()
Scaling-up Higher Order Thinking
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering]()
Concurrent Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Enterprising]()
Concurrent Enterprising
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming Interviews]()
Concurrent Programming Interviews
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Zero Knowledge]()
Concurrent Zero Knowledge
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Review Of International Patent Filing System]()
Review Of International Patent Filing System
316,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Extrusion]()
Reactive Extrusion
159,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Concurrent Systems]()
Understanding Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Extraction]()
Reactive Extraction
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Ethical and Theological Appropriation of Heideggers Critique of Modernity]()
An Ethical and Theological Appropriation of Heideggers Critique of Modernity
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zero Distance]()
Zero Distance
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Computations]()
Concurrent Computations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Origin of Concurrent Programming]()
The Origin of Concurrent Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Effect of concurrent administration of an antibiotic and an anti-inflammatory drug on the immunotoxicity of bacterial endotoxins]()
Effect of concurrent administration of an antibiotic and an anti-inflammatory drug on the immunotoxicity of bacterial endotoxins
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scaling-up Higher Order Thinking]()
Scaling-up Higher Order Thinking
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The World Jewish Congress during the Holocaust]()
The World Jewish Congress during the Holocaust
164,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects]()
Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
74,85 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Calculus of Computation]()
The Calculus of Computation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Singularities in Elliptic Boundary Value Problems and Elasticity and their Connection with Failure Initiation]()
Singularities in Elliptic Boundary Value Problems and Elasticity and their Connection with Failure Initiation
165,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Development of Reactive Systems]()
Formal Development of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
