Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Methods and Hybrid Real-Time Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays – Lecture Notes in Computer Science 4700, Incl Online-Access, Lecture Notes in Computer Science 4700 – Theoretical Computer Science and General Issues
| ISBN: | 354075220X |
|---|---|
| ISBN 13: | 9783540752202 |
| Herausgeber: | Cliff B Jones/Zhiming Liu/Jim Woodcock |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xvi, 542 S. |
| Erscheinungsdatum: | 06.09.2007 |
| Auflage: | 1/2007 |
| Produktform: | Buch |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: HYBRID PAGE REPLACEMENT ALGORITHM IN REAL TIME SYSTEMS]()
HYBRID PAGE REPLACEMENT ALGORITHM IN REAL TIME SYSTEMS
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods and Testing]()
Formal Methods and Testing
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: Distributed Real-Time Systems]()
Distributed Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods Teaching]()
Formal Methods Teaching
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Architecture]()
Formal Methods in Architecture
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
70,61 €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: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Biology]()
Formal Methods in Systems Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
69,54 €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: NASA Formal Methods]()
NASA Formal Methods
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Discrete-Time Dynamical Systems]()
Formal Methods for Discrete-Time Dynamical Systems
181,89 €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: Synchronization in Real-Time Systems]()
Synchronization in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Architecture]()
Formal Methods in Architecture
235,39 €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: Formal Methods in Architecture]()
Formal Methods in Architecture
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Teaching Formal Methods]()
Teaching Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Software and Systems Modeling]()
Formal Methods in Software and Systems Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods Teaching]()
Formal Methods Teaching
58,84 €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: NASA Formal Methods]()
NASA Formal Methods
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for the Design of Real-Time Systems]()
Formal Methods for the Design of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Methoden und kleine Systeme]()
Formale Methoden und kleine Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Real-Time and Probabilistic Systems]()
Formal Methods for Real-Time and Probabilistic Systems
53,49 €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 Systems]()
Real-Time Systems
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Architecture]()
Formal Methods in Architecture
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybrid Systems]()
Hybrid Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
49,22 €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: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods Teaching]()
Formal Methods Teaching
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real-time Systems]()
Real-time Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Standards]()
Formal Methods in Standards
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Dynamical Systems]()
Formal Methods for Dynamical Systems
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Real-Time Computing: Formal Specifications and Methods]()
Foundations of Real-Time Computing: Formal Specifications and Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Architecture]()
Formal Methods in Architecture
165,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems]()
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foundations of Real-Time Computing: Formal Specifications and Methods]()
Foundations of Real-Time Computing: Formal Specifications and Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €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: Integrated Formal Methods]()
Integrated Formal Methods
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Discrete-Time Dynamical Systems]()
Formal Methods for Discrete-Time Dynamical Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods in Systems Engineering]()
Formal Methods in Systems Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €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: Symposium on Real-Time and Hybrid Systems]()
Symposium on Real-Time and Hybrid Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods Teaching]()
Formal Methods Teaching
40,65 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to the Formal Design of Real-Time Systems]()
Introduction to the Formal Design of Real-Time Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
62,05 €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: Formal Methods]()
Formal Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrated Formal Methods]()
Integrated Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
