Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Abstraction Refinement for Large Scale Model Checking
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Series on Integrated Circuits and Systems, Integrated Circuits and Systems
| ISBN: | 0387341552 |
|---|---|
| ISBN 13: | 9780387341552 |
| Autor: | Wang, Chao/Hachtel, Gary D/Somenzi, Fabio |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 179 S. |
| Erscheinungsdatum: | 20.07.2006 |
| Auflage: | 1/2006 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Josh Smith: Abstraction]()
Josh Smith: Abstraction
48,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: Der Traum vom Dschungel]()
Der Traum vom Dschungel
9,90 €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: A Study on the Communicative Validity of the New CET-4 Listening Test]()
A Study on the Communicative Validity of the New CET-4 Listening Test
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Nanoscale Optical Properties of Complex Nanostructures]()
The Nanoscale Optical Properties of Complex Nanostructures
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oman]()
Oman
6,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grenzen, überall]()
Grenzen, überall
9,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction and Representation]()
Abstraction and Representation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Synthesis and Verification Algorithms]()
Logic Synthesis and Verification Algorithms
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction, Refinement and Proof for Probabilistic Systems]()
Abstraction, Refinement and Proof for Probabilistic Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Söhne der Indios]()
Die Söhne der Indios
10,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement]()
Refinement
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales]()
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
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: Der Fremde]()
Der Fremde
11,90 €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: Symbolic Model Checking]()
Symbolic Model Checking
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large-Scale Scientific Computing]()
Large-Scale Scientific Computing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Building Recommender Systems Using Large Language Models]()
Building Recommender Systems Using Large Language Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conformance Checking]()
Conformance Checking
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments]()
Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Optimization in Large Scale Problems]()
Optimization in Large Scale Problems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large-scale Livestock Grazing]()
Large-scale Livestock Grazing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete]()
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Solution of Large-Scale Macroeconometric Models]()
Computational Solution of Large-Scale Macroeconometric Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Entwicklung des Genres Antiutopie]()
Die Entwicklung des Genres Antiutopie
24,90 €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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Nanoscale Optical Properties of Complex Nanostructures]()
The Nanoscale Optical Properties of Complex Nanostructures
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: 6th Refinement Workshop]()
6th Refinement Workshop
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction and Representation]()
Abstraction and Representation
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Refinement for Operating System Kernels]()
Formal Refinement for Operating System Kernels
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Florentino Florian]()
Florentino Florian
9,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large-Scale Nonlinear Optimization]()
Large-Scale Nonlinear Optimization
106,99 €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: Concrete Abstractions]()
Concrete Abstractions
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Principles of Mechanics and Electromagnetism]()
Mathematical Principles of Mechanics and Electromagnetism
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Als Wessi in der DDR]()
Als Wessi in der DDR
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Solution of Large-Scale Macroeconometric Models]()
Computational Solution of Large-Scale Macroeconometric Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement Calculus]()
Refinement Calculus
117,69 €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: Automatic Methods for the Refinement of System Models]()
Automatic Methods for the Refinement of System Models
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: Rietveld Refinement]()
Rietveld Refinement
94,95 €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, Synthesis, and Learning]()
Model Checking, Synthesis, and Learning
69,54 €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: Formal Refinement for Operating System Kernels]()
Formal Refinement for Operating System Kernels
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concrete Abstractions]()
Concrete Abstractions
80,24 €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: Path Predicate Abstraction]()
Path Predicate Abstraction
45,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Exhibiting Abstraction]()
Exhibiting Abstraction
79,00 €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 and Artificial Intelligence]()
Model Checking and Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Combined Measure and Shift Invariance Theory of Time Scales and Applications]()
Combined Measure and Shift Invariance Theory of Time Scales and Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments]()
Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Principles of Mechanics and Electromagnetism]()
Mathematical Principles of Mechanics and Electromagnetism
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entwicklung eines bestandsorientierten Fertigungssteuerungssystems für die Großserienfertigung am Beispiel des Automobilbaus]()
Entwicklung eines bestandsorientierten Fertigungssteuerungssystems für die Großserienfertigung am Beispiel des Automobilbaus
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Painting Abstraction]()
Painting Abstraction
39,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Refinement of Poverty Alleviation in China]()
The Refinement of Poverty Alleviation in China
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Generating Abstraction Hierarchies]()
Generating Abstraction Hierarchies
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction and Aging]()
Abstraction and Aging
53,49 €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: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €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: Aggregation in Large-Scale Optimization]()
Aggregation in Large-Scale Optimization
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semi-Automated Refinement of Semantic Models]()
Semi-Automated Refinement of Semantic Models
59,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SystemC based Functional Model Refinement]()
SystemC based Functional Model Refinement
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rietveld Refinement of Structural Parameters of Dioctahedral Smectites]()
Rietveld Refinement of Structural Parameters of Dioctahedral Smectites
48,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Rückkehr der Wölfe]()
Die Rückkehr der Wölfe
5,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temple of Abstraction]()
Temple of Abstraction
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Agile Refinement]()
Agile Refinement
14,32 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction & Economy]()
Abstraction & Economy
45,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Combined Measure and Shift Invariance Theory of Time Scales and Applications]()
Combined Measure and Shift Invariance Theory of Time Scales and Applications
106,99 €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: Abstraction Refinement and Proof for Probabilistic Systems]()
Abstraction Refinement and Proof for Probabilistic Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Refinement]()
Refinement
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: Large Scale Structure Formation]()
Large Scale Structure Formation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extraction / Abstraction]()
Extraction / Abstraction
48,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: Stochastic Model Checking]()
Stochastic Model Checking
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large-Scale Scientific Computations]()
Large-Scale Scientific Computations
79,17 €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: Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales]()
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Field Equations for Thermoelastic Bodies with Uniform Symmetry]()
Field Equations for Thermoelastic Bodies with Uniform Symmetry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete]()
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large-Scale Scientific Computing]()
Large-Scale Scientific Computing
87,74 €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: 25 Years of Model Checking]()
25 Years of Model Checking
37,44 €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: Large Scale Optimization:]()
Large Scale Optimization:
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zwischen Algarve und Oman]()
Zwischen Algarve und Oman
6,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Griechenland]()
Griechenland
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reduction - Abstraction - Analysis]()
Reduction – Abstraction – Analysis
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
