Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Model Checking Software
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
8th International SPIN Workshop, Toronto, Canada, May 19-20,2001 Proceedings, Lecture Notes in Computer Science 2057
| ISBN: | 3540421246 |
|---|---|
| ISBN 13: | 9783540421245 |
| Herausgeber: | Matthew Dwyer |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 318 S. |
| Erscheinungsdatum: | 02.05.2001 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Checking out supermarket labour usage]()
Checking out supermarket labour usage
79,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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fact-Checking Journalism and Political Argumentation]()
Fact-Checking Journalism and Political Argumentation
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: Checking the Waste A Study in Conservation]()
Checking the Waste A Study in Conservation
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Equivalence Checking and Design Debugging]()
Formal Equivalence Checking and Design Debugging
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Reliability Growth Models]()
Software Reliability Growth Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Optimization Models in Software Reliability]()
Optimization Models in Software Reliability
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Models]()
Software Development Models
79,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: Symbolic Model Checking]()
Symbolic Model Checking
53,49 €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: Contract Checking for Feldspar]()
Contract Checking for Feldspar
49,00 €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: Conformance Checking and Diagnosis in Process Mining]()
Conformance Checking and Diagnosis in Process Mining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Reliability Growth Models]()
Software Reliability Growth Models
149,79 €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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
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: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €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: 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: 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: Models in Software Engineering]()
Models in Software Engineering
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: 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,50 €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: Equivalence Checking of Digital Circuits]()
Equivalence Checking of Digital Circuits
160,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: SPIN Model Checking and Software Verification]()
SPIN Model Checking and Software Verification
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: Formal Equivalence Checking and Design Debugging]()
Formal Equivalence Checking and Design Debugging
192,59 €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
58,84 €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: 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
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis Models in Software Engineering]()
Analysis Models in Software Engineering
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Checking the Waste A Study in Conservation]()
Checking the Waste A Study in Conservation
17,90 €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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
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: Some Software Reliability Models]()
Some Software Reliability Models
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Life Models in Software]()
Artificial Life Models in Software
160,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: Software reliability determination model]()
Software reliability determination model
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: Optimization Models in Software Reliability]()
Optimization Models in Software Reliability
171,19 €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: Manual material processing - Checking: measuring, gauging]()
Manual material processing – Checking: measuring, gauging
38,50 €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: Models in Software Engineering]()
Models in Software Engineering
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: New Methods of Concurrent Checking]()
New Methods of Concurrent Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conformance Checking]()
Conformance Checking
90,94 €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: 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: Models in Software Engineering]()
Models in Software Engineering
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: 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
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Software Model CALMOB6]()
The Software Model CALMOB6
59,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: Models in Software Engineering]()
Models in Software Engineering
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: Model-Driven Software Development]()
Model-Driven Software Development
160,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: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
62,05 €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: 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: Checking the Conformance]()
Checking the Conformance
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Models in Software Engineering]()
Models in Software Engineering
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: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Integrating Software Components]()
Model-Integrating Software Components
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: 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: Model Checking Software]()
Model Checking Software
48,14 €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: Understanding intra-ring checking in Pinus radiata wood]()
Understanding intra-ring checking in Pinus radiata wood
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Using Model Checking to Generate Test Cases for Critical Systems]()
Using Model Checking to Generate Test Cases for Critical Systems
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: Models in Software Engineering]()
Models in Software Engineering
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: 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: Coverage Metrics for Model Checking]()
Coverage Metrics for Model Checking
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Life Models in Software]()
Artificial Life Models in Software
160,49 €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: Fact-checking halb vergeben]()
Fact-checking halb vergeben
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-checking infinite state systems for information flow security]()
Model-checking infinite state systems for information flow security
71,90 €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: Model-Driven Software Development]()
Model-Driven Software Development
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
