Beschreibung
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
Mechanical Verification of Parameterized Real-Time Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
89,90 €
inkl. 7 % MwSt. zzgl. Versandkosten
A Formal Framework and its Application to a Real-Time Operating System Scheduler
| ISBN: | 3838134605 |
|---|---|
| ISBN 13: | 9783838134604 |
| Autor: | Göthel, Thomas |
| Verlag: | Südwestdeutscher Verlag für |
| Umfang: | 240 S. |
| Erscheinungsdatum: | 10.07.2015 |
| Auflage: | 1/2015 |
| Format: | 1.5 x 22 x 15 |
| Gewicht: | 374 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Real-time Systems]()
Real-time Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Stability in Power Systems]()
Real-Time Stability in Power Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Learning Parameterized Maneuvers from Multiple Demonstrations]()
Learning Parameterized Maneuvers from Multiple Demonstrations
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Burn-Out-Gruppenberatung. Die Umsetzung der coronabedingten Umstellung auf Onlineberatung]()
Burn-Out-Gruppenberatung. Die Umsetzung der coronabedingten Umstellung auf Onlineberatung
27,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity Theory]()
Parameterized Complexity Theory
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time Systems Quality of Service]()
Real-time Systems Quality of Service
106,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: Real Time Hydro-Mechanical Braking System Model]()
Real Time Hydro-Mechanical Braking System Model
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Real-Time Systems]()
Distributed Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems]()
Real-Time Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mittelmeerfauna]()
Mittelmeerfauna
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Reconfiguration in Real-Time Systems]()
Dynamic Reconfiguration in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real, Mechanical, Experimental]()
Real, Mechanical, Experimental
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Real-Time Systems]()
Advances in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems]()
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
160,49 €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: Real-Time Integration Methods for Mechanical System Simulation]()
Real-Time Integration Methods for Mechanical System Simulation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 2024 Real-Time Intelligent Systems]()
2024 Real-Time Intelligent Systems
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time UNIX® Systems]()
Real-Time UNIX® Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kino, Spiele und Werbung]()
Kino, Spiele und Werbung
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity Analysis of Computer Algorithms]()
Parameterized Complexity Analysis of Computer Algorithms
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €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: Fundamentals of Parameterized Complexity]()
Fundamentals of Parameterized Complexity
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kinematics of Mechanical Systems]()
Kinematics of Mechanical Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety-Critical Real-Time Systems]()
Safety-Critical Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling of Mechanical Systems]()
Modeling of Mechanical Systems
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity]()
Parameterized Complexity
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synchronization in Real-Time Systems]()
Synchronization in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Real-Time Intelligent Systems]()
Advances in Real-Time Intelligent Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kinematics of Mechanical Systems]()
Kinematics of Mechanical Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized SOC Design for Battery Powered Portable Systems]()
Parameterized SOC Design for Battery Powered Portable Systems
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design of Mechanical Systems]()
Design of Mechanical Systems
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity in the Polynomial Hierarchy]()
Parameterized Complexity in the Polynomial Hierarchy
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Estimation of Analog Layout Parasitics with Parameterized Polygons]()
Estimation of Analog Layout Parasitics with Parameterized Polygons
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Flexibility in Real-Time Distributed Systems]()
Flexibility in Real-Time Distributed Systems
59,00 €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: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Algorithms]()
Parameterized Algorithms
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems]()
Real-Time Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity Theory]()
Parameterized Complexity Theory
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault-Tolerant Real-Time Systems]()
Fault-Tolerant Real-Time Systems
160,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: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault-Tolerant Real-Time Systems]()
Fault-Tolerant Real-Time Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design of Mechanical Systems]()
Design of Mechanical Systems
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Meeresfauna]()
Meeresfauna
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Reconfiguration in Real-Time Systems]()
Dynamic Reconfiguration in Real-Time Systems
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Compositional Verification of Real-Time Systems]()
Specification and Compositional Verification of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Systems]()
Mechanical Systems
69,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Real-Time Software]()
Verification and Validation of Real-Time Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Dynamibility' of Mechanical Systems]()
‚Dynamibility‘ of Mechanical Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Algorithms]()
Parameterized Algorithms
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems]()
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constructing Predictable Real Time Systems]()
Constructing Predictable Real Time Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Einfluss Impliziter Persönlichkeitstheorien auf emotionale Reaktionen und Leistungsveränderungen nach negativem Feedback im modifizierten Lernpotenzial-Assessment Center]()
Einfluss Impliziter Persönlichkeitstheorien auf emotionale Reaktionen und Leistungsveränderungen nach negativem Feedback im modifizierten Lernpotenzial-Assessment Center
74,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Real-Time Systems]()
Advances in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Database Systems]()
Real-Time Database Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fundamentals of Parameterized Complexity]()
Fundamentals of Parameterized Complexity
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybrid and Real-Time Systems]()
Hybrid and Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hard Real-Time Computing Systems]()
Hard Real-Time Computing Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Homogenization in Time of Singularly Perturbed Mechanical Systems]()
Homogenization in Time of Singularly Perturbed Mechanical Systems
32,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time Systems' Quality of Service]()
Real-time Systems‘ Quality of Service
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Methods and Their Applications in Bioinformatics]()
Parameterized Methods and Their Applications in Bioinformatics
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real, Mechanical, Experimental]()
Real, Mechanical, Experimental
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Stability in Power Systems]()
Real-Time Stability in Power Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constructing Predictable Real Time Systems]()
Constructing Predictable Real Time Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synchronization in Real-Time Systems:]()
Synchronization in Real-Time Systems:
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Impacts in Mechanical Systems]()
Impacts in Mechanical Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized Complexity]()
Parameterized Complexity
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Adventsgeschichte vom kleinen Weihnachtsbaum]()
Die Adventsgeschichte vom kleinen Weihnachtsbaum
12,99 €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: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Systems in Mechatronic Applications]()
Real-Time Systems in Mechatronic Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Decidability of Parameterized Verification]()
Decidability of Parameterized Verification
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Real-Time Systems]()
Distributed Real-Time Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Systems]()
Mechanical Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hard Real-Time Computing Systems]()
Hard Real-Time Computing Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parameterized and Exact Computation]()
Parameterized and Exact Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
