Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Temporal Verification of Reactive Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Safety
| ISBN: | 0387944591 |
|---|---|
| ISBN 13: | 9780387944593 |
| Autor: | Manna, Zohar/Pnueli, Amir |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xviii, 512 S. |
| Erscheinungsdatum: | 04.08.1995 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Reactive Oxygen Species]()
Reactive Oxygen Species
192,59 €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: Verification of Temporal Properties in Embedded Software]()
Verification of Temporal Properties in Embedded Software
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Oxygen Species]()
Reactive Oxygen Species
213,99 €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 -
![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: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Integration]()
Reactive Integration
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Architecture for Reactive Autonomic Systems]()
Architecture for Reactive Autonomic Systems
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zero Distance]()
Zero Distance
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Kripke Semantics]()
Reactive Kripke Semantics
106,99 €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: You can cook this!]()
You can cook this!
24,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures]()
Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Implementation and Comprehensive Study of Distributed Systems in GIPSY]()
Implementation and Comprehensive Study of Distributed Systems in GIPSY
68,00 €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: Reactive Oxygen Species]()
Reactive Oxygen Species
139,09 €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: Reactive Streams in Java]()
Reactive Streams in Java
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
53,49 €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: Effective and Efficient Temporal Verification in Grid Workflow]()
Effective and Efficient Temporal Verification in Grid Workflow
68,00 €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 Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Java Programming]()
Reactive Java Programming
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Sputter Deposition]()
Reactive Sputter Deposition
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Kripke Semantics]()
Reactive Kripke Semantics
106,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: 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: The Calculus of Computation]()
The Calculus of Computation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €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: Biological Reactive IntermediatesII]()
Biological Reactive IntermediatesII
106,99 €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: From Reactive Systems to Cyber-Physical Systems]()
From Reactive Systems to Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Oxygen Species]()
Reactive Oxygen Species
213,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: Reactive Power Planning]()
Reactive Power Planning
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Flow Modeling of Hydrothermal Systems]()
Reactive Flow Modeling of Hydrothermal Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safe Reactive Programming]()
Safe Reactive Programming
68,00 €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: C - Reactive Protein]()
C – Reactive Protein
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Distillation]()
Reactive Distillation
84,95 €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: Reactive Oxygen Species]()
Reactive Oxygen Species
213,99 €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: Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures]()
Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Autonomous Systems]()
Verification of Autonomous Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Practical Theory of Reactive Systems]()
A Practical Theory of Reactive Systems
53,49 €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: 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: Impact of Biozyme in Chilli]()
Impact of Biozyme in Chilli
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Extraction]()
Reactive Extraction
160,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: Understanding Non-State Actors]()
Understanding Non-State Actors
114,95 €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: Biological Reactive Intermediates]()
Biological Reactive Intermediates
106,99 €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: Temporale Geschäftsprozessmodellierung]()
Temporale Geschäftsprozessmodellierung
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Intermediates]()
Reactive Intermediates
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verifying Temporal Properties of Systems]()
Verifying Temporal Properties of Systems
53,49 €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: Reactive Powder Concrete]()
Reactive Powder Concrete
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: Characterizations of Inner Product Spaces]()
Characterizations of Inner Product Spaces
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Flow Modeling of Hydrothermal Systems]()
Reactive Flow Modeling of Hydrothermal Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Oxygen Species]()
Reactive Oxygen Species
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Political Graffiti]()
Reactive Political Graffiti
59,00 €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: Reactive Attachment Disorder]()
Reactive Attachment Disorder
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![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: The Education of Prospective Teachers]()
The Education of Prospective Teachers
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Review Of International Patent Filing System]()
Review Of International Patent Filing System
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Soul of Marrakesch]()
Soul of Marrakesch
16,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Bubbly Flows]()
Reactive Bubbly Flows
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zero Distance]()
Zero Distance
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONTROLLER DESIGN FOR NONLINEAR SYSTEMS]()
CONTROLLER DESIGN FOR NONLINEAR SYSTEMS
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Information Systems in Medicine]()
Temporal Information Systems in Medicine
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Reactive Distributed Robotic Systems]()
Stochastic Reactive Distributed Robotic Systems
106,99 €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: Model-Based Testing of Reactive Systems]()
Model-Based Testing of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Eve of Islam]()
The Eve of Islam
99,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Turbulent Reactive Flows]()
Turbulent Reactive Flows
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Bubbly Flows]()
Reactive Bubbly Flows
213,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: Temporale Muster]()
Temporale Muster
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Extrusion]()
Reactive Extrusion
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Information Systems in Medicine]()
Temporal Information Systems in Medicine
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Practical Theory of Reactive Systems]()
A Practical Theory of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Oxygen Species in Biological Systems]()
Reactive Oxygen Species in Biological Systems
213,99 €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: Reactive Distillation]()
Reactive Distillation
54,90 €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: Stochastic Reactive Distributed Robotic Systems]()
Stochastic Reactive Distributed Robotic Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transformation-Based Reactive Systems Development]()
Transformation-Based Reactive Systems Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Sputter Deposition]()
Reactive Sputter Deposition
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
