Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
New Methods of Concurrent Checking
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Frontiers in Electronic Testing 42
| ISBN: | 9048178762 |
|---|---|
| ISBN 13: | 9789048178766 |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 182 S. |
| Erscheinungsdatum: | 28.10.2010 |
| Weitere Autoren: | Gössel, Michael/Ocheretny, Vitaly/Sogomonyan, Egor et al |
| Auflage: | 1/2008 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Declarative Models of Concurrent Cyclic Processes]()
Declarative Models of Concurrent Cyclic Processes
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 25 Years of Model Checking]()
25 Years of Model Checking
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Behavior-Based Architecture Conformance Checking]()
Behavior-Based Architecture Conformance Checking
35,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Checking Based Data Retrieval]()
Model-Checking Based Data Retrieval
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,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: Complex Systems Concurrent Engineering]()
Complex Systems Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent and Real-time Programming]()
Concurrent and Real-time Programming
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking for Game Design]()
Model Checking for Game Design
54,90 €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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial-Order Methods for the Verification of Concurrent Systems]()
Partial-Order Methods for the Verification of Concurrent Systems
53,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: Model Checking Software]()
Model Checking Software
53,49 €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: Conformance Checking]()
Conformance Checking
90,94 €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: New World Situation: New Directions in Concurrent Engineering]()
New World Situation: New Directions in Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coverage Metrics for Model Checking]()
Coverage Metrics for Model Checking
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €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: Logics and Models of Concurrent Systems]()
Logics and Models of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering in the 21st Century]()
Concurrent Engineering in the 21st Century
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
85,59 €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 Learning and Information Processing]()
Concurrent Learning and Information Processing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mining and Checking Object Behavior]()
Mining and Checking Object Behavior
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Principles of Concurrent and Distributed Programming]()
Principles of Concurrent and Distributed Programming
97,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Contract Checking for Feldspar]()
Contract Checking for Feldspar
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Equivalence Checking of Digital Circuits]()
Equivalence Checking of Digital Circuits
160,49 €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: Semantics of Concurrent Computation]()
Semantics of Concurrent Computation
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: New Paradigm in AI and Concurrent Engineering]()
New Paradigm in AI and Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Concurrent Integral Design]()
Computer Aided Concurrent Integral Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fact-Checking in the Digital Age]()
Fact-Checking in the Digital Age
90,94 €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: Self-Timed Control of Concurrent Processes]()
Self-Timed Control of Concurrent Processes
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: New Methods of Concurrent Checking]()
New Methods of Concurrent Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Model Checking]()
Stochastic Model Checking
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Checking out supermarket labour usage]()
Checking out supermarket labour usage
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Based Concurrent Computing]()
Object-Based Concurrent Computing
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: Supervised Testing of Embedded Concurrent Software.]()
Supervised Testing of Embedded Concurrent Software.
61,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
49,22 €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: Concurrent Infection in Goats]()
Concurrent Infection in Goats
49,00 €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 Objects and Beyond]()
Concurrent Objects and Beyond
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Aerobic and Strength Training]()
Concurrent Aerobic and Strength Training
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering]()
Concurrent Engineering
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: Fact-checking halb vergeben]()
Fact-checking halb vergeben
39,90 €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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Aerobic and Strength Training]()
Concurrent Aerobic and Strength Training
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Equivalence Checking of Digital Circuits]()
Equivalence Checking of Digital Circuits
160,49 €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: On Concurrent Programming]()
On Concurrent Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Model Checking]()
Symbolic Model Checking
53,49 €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: Model Checking Software]()
Model Checking Software
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Declarative Models of Concurrent Cyclic Processes]()
Declarative Models of Concurrent Cyclic Processes
160,49 €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: Understanding Concurrent Systems]()
Understanding Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent training in childhood: new approaches on physical fitness]()
Concurrent training in childhood: new approaches on physical fitness
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Concurrent Pascal Compiler for Minicomputers]()
A Concurrent Pascal Compiler for Minicomputers
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Checking the Conformance]()
Checking the Conformance
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking and Artificial Intelligence]()
Model Checking and Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Verification of Concurrent Search Structures]()
Automated Verification of Concurrent Search Structures
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook of Model Checking]()
Handbook of Model Checking
149,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: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Objects for Concurrent Constraint Programming]()
Objects for Concurrent Constraint Programming
235,39 €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: Concurrent Simultaneous Engineering Systems]()
Concurrent Simultaneous Engineering Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Enterprising]()
Concurrent Enterprising
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering]()
Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering
49,80 €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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
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: Model Checking Software]()
Model Checking Software
53,49 €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: Concurrent Engineering in the 21st Century]()
Concurrent Engineering in the 21st Century
235,39 €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: Model Checking, Synthesis, and Learning]()
Model Checking, Synthesis, and Learning
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: New World Situation: New Directions in Concurrent Engineering]()
New World Situation: New Directions in Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: MPCS: Myanmar Preposition Checking System]()
MPCS: Myanmar Preposition Checking System
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking and Artificial Intelligence]()
Model Checking and Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
