Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Systems and Software Verification
Lieferzeit: Lieferbar innerhalb 14 Tagen
149,79 €
inkl. 7 % MwSt. zzgl. Versandkosten
Model-Checking Techniques and Tools
| ISBN: | 3642074782 |
|---|---|
| ISBN 13: | 9783642074783 |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xii, 190 S. |
| Erscheinungsdatum: | 15.12.2010 |
| Weitere Autoren: | Berard, B/Bidoit, M/Finkel, A et al |
| Auflage: | 1/2010 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: String Analysis for Software Verification and Security]()
String Analysis for Software Verification and Security
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Validation]()
Software Verification and Validation
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Challenges of Software Verification]()
Challenges of Software Verification
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Systems: Design, Analysis and Verification]()
Embedded Systems: Design, Analysis and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware/Software Co-Design and Co-Verification]()
Hardware/Software Co-Design and Co-Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Analysis]()
Software Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Analysis]()
Software Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware/Software Co-Design and Co-Verification]()
Hardware/Software Co-Design and Co-Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation in Systems Engineering]()
Verification and Validation in Systems Engineering
139,09 €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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Object-Oriented Software]()
Verification of Object-Oriented Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Guide to Software Verification with Frama-C]()
Guide to Software Verification with Frama-C
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductive Software Verification - The KeY Book]()
Deductive Software Verification – The KeY Book
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Temporal Properties in Embedded Software]()
Verification of Temporal Properties in Embedded Software
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concise Guide to Software Verification]()
Concise Guide to Software Verification
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Empirical Software Engineering and Verification]()
Empirical Software Engineering and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Quality Approaches: Testing, Verification and Validation]()
Software Quality Approaches: Testing, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software, Verification and Testing]()
Hardware and Software, Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Professional Verification]()
Professional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tools for Practical Software Verification]()
Tools for Practical Software Verification
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Open Source Software: Quality Verification]()
Open Source Software: Quality Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability & Verification]()
Satisfiability & Verification
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Challenges of Software Verification]()
Challenges of Software Verification
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Control of Hybrid Systems]()
Verification and Control of Hybrid Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering: Specification, Implementation, Verification]()
Software Engineering: Specification, Implementation, Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: String Analysis for Software Verification and Security]()
String Analysis for Software Verification and Security
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Systems: Design, Specification, and Verification]()
Interactive Systems: Design, Specification, and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification-based software-fault detection]()
Verification-based software-fault detection
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Formal Methods for ML-Enabled Autonomous Systems]()
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification and Validation]()
Software Verification and Validation
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Digital and Hybrid Systems]()
Verification of Digital and Hybrid Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introducing Software Verification with Dafny Language]()
Introducing Software Verification with Dafny Language
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concise Guide to Software Verification]()
Concise Guide to Software Verification
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Guide to Software Verification with Frama-C]()
Guide to Software Verification with Frama-C
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Object-Oriented Software]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Open Source Software: Quality Verification]()
Open Source Software: Quality Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Control of Hybrid Systems]()
Verification and Control of Hybrid Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductive Software Verification: Future Perspectives]()
Deductive Software Verification: Future Perspectives
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation in Systems Engineering]()
Verification and Validation in Systems Engineering
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Systems: Design, Specification, and Verification]()
Interactive Systems: Design, Specification, and Verification
53,49 €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: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Systems. Design, Specification, and Verification]()
Interactive Systems. Design, Specification, and Verification
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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Approaches to Software Testing and Runtime Verification]()
Formal Approaches to Software Testing and Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering: Specification, Implementation, Verification]()
Software Engineering: Specification, Implementation, Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Validation of Real-Time Software]()
Verification and Validation of Real-Time Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software, Verification and Testing]()
Hardware and Software, Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
