Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Methods for Real-Time and Probabilistic Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
5th International AMAST Workshop, ARTS’99, Bamberg, Germany, May 26-28,1999, Proceedings, Lecture Notes in Computer Science 1601
| ISBN: | 3540660100 |
|---|---|
| ISBN 13: | 9783540660101 |
| Herausgeber: | Jost-Pieter Katoen |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 353 S. |
| Erscheinungsdatum: | 12.05.1999 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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 for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods for Algorithmic Discrete Mathematics]()
Probabilistic Methods for Algorithmic Discrete Mathematics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Networks and Expert Systems]()
Probabilistic Networks and Expert Systems
128,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: Formal Methods and Hybrid Real-Time Systems]()
Formal Methods and Hybrid 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]()
Formal Methods
106,99 €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 Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Discrete Mathematics]()
Probabilistic Methods in Discrete Mathematics
124,95 €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: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
62,05 €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 Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
49,22 €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: NASA Formal Methods]()
NASA Formal Methods
139,09 €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: 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: NASA Formal Methods]()
NASA Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Cancer Biology]()
Probabilistic Methods in Cancer Biology
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: Advances in Real-Time Systems]()
Advances in Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
42,79 €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: Probabilistic Logics and Probabilistic Networks]()
Probabilistic Logics and Probabilistic Networks
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: Probabilistic Thinking]()
Probabilistic Thinking
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods for Structural Design]()
Probabilistic Methods for Structural Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods and Distributed Information]()
Probabilistic Methods and Distributed Information
106,99 €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: Probabilistic and Statistical Methods in Cryptology]()
Probabilistic and Statistical Methods in Cryptology
53,45 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Telecommunications]()
Probabilistic Methods in Telecommunications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Benchmarking]()
Probabilistic Benchmarking
59,95 €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 Computational Systems Biology]()
Formal Methods for Computational Systems Biology
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: 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: Real-Time Systems]()
Real-Time Systems
58,84 €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: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €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 Industrial Critical Systems]()
Formal Methods for Industrial Critical 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: Real-Time Database Systems]()
Real-Time Database Systems
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Discrete Mathematics]()
Probabilistic Methods in Discrete Mathematics
119,95 €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: Synchronization in Real-Time Systems:]()
Synchronization in Real-Time Systems:
106,99 €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: Formal Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
69,54 €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 for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €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: Integrated Formal Methods]()
Integrated 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 for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
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 Methods for Industrial Critical Systems]()
Formal Methods for Industrial Critical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Discrete Mathematics]()
Probabilistic Methods in Discrete Mathematics
114,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Applied Physics]()
Probabilistic Methods in Applied Physics
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: Formal Methods in Architecture]()
Formal Methods in Architecture
165,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: Probabilistic Networks and Expert Systems]()
Probabilistic Networks and Expert Systems
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
42,79 €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: Probabilistic Thinking]()
Probabilistic Thinking
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Beyond Traditional Probabilistic Methods in Economics]()
Beyond Traditional Probabilistic Methods in Economics
320,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 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
53,49 €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 for Industrial Critical Systems]()
Formal Methods for Industrial Critical 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: Formale Methoden und kleine Systeme]()
Formale Methoden und kleine Systeme
74,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: 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: Distributed Real-Time Systems]()
Distributed 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: 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 Teaching]()
Formal Methods Teaching
40,65 €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
53,49 €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: Probabilistic Databases]()
Probabilistic Databases
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods for Algorithmic Discrete Mathematics]()
Probabilistic Methods for Algorithmic Discrete Mathematics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probabilistic Methods in Geotechnical Engineering]()
Probabilistic Methods in Geotechnical Engineering
160,49 €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]()
Formal Methods
42,79 €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: Probabilistic Methods in Discrete Mathematics]()
Probabilistic Methods in Discrete Mathematics
114,95 €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: Synchronization in Real-Time Systems]()
Synchronization in Real-Time Systems
106,99 €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 for Industrial Critical Systems]()
Formal Methods for Industrial Critical 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 Embedded Distributed Systems]()
Formal Methods for Embedded Distributed Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
