Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Model Checking and Artificial Intelligence
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11,2010, Revised Selected and Invited Papers, Lecture Notes in Computer Science 6572 – Lecture Notes in Artificial Intelligence
| ISBN: | 3642206735 |
|---|---|
| ISBN 13: | 9783642206733 |
| Herausgeber: | Ron van der Meyden/Jan-Georg Smaus |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xi, 131 S. |
| Erscheinungsdatum: | 04.05.2011 |
| Auflage: | 1/2011 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
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 Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
59,00 €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: Coverage Metrics for Model Checking]()
Coverage Metrics for Model Checking
59,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: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability and Model Checking in Team Based Logics]()
Satisfiability and Model Checking in Team Based Logics
27,74 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €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: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theoretical and Practical Aspects of SPIN Model Checking]()
Theoretical and Practical Aspects of SPIN Model Checking
53,49 €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: Artificial Intelligence]()
Artificial Intelligence
171,19 €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: Artificial Intelligence]()
Artificial Intelligence
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
64,19 €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: Artificial Intelligence]()
Artificial Intelligence
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence: Theories, Models and Applications]()
Artificial Intelligence: Theories, Models and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligence and Artificial Intelligence]()
Intelligence and Artificial Intelligence
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
117,69 €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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence in Models, Methods and Applications]()
Artificial Intelligence in Models, Methods and Applications
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
15,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SPIN Model Checking and Software Verification]()
SPIN Model Checking and Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
13,90 €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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
79,17 €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: 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: Artificial Intelligence]()
Artificial Intelligence
11,00 €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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
21,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
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: Artificial Intelligence]()
Artificial Intelligence
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
39,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: Artificial Intelligence]()
Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
105,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: Model Checking Software]()
Model Checking Software
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: Artificial Intelligence]()
Artificial Intelligence
85,59 €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: Artificial Intelligence]()
Artificial Intelligence
55,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: Artificial Intelligence in Models, Methods and Applications]()
Artificial Intelligence in Models, Methods and Applications
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence]()
Artificial Intelligence
15,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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €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: Artificial Intelligence]()
Artificial Intelligence
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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
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: Artificial Intelligence: Theories, Models and Applications]()
Artificial Intelligence: Theories, Models and Applications
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: Artificial Intelligence]()
Artificial Intelligence
96,29 €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
