Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Software Verification and Validation
Lieferzeit: Lieferbar innerhalb 14 Tagen
128,39 €
inkl. 7 % MwSt. zzgl. Versandkosten
An Engineering and Scientific Approach
| ISBN: | 0387327258 |
|---|---|
| ISBN 13: | 9780387327259 |
| Autor: | Fisher, Marcus S |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 172 S., 20 s/w Illustr., 172 p. 20 illus. |
| Erscheinungsdatum: | 27.11.2006 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
160,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: 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: 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: Digital Computer Forensic: Validation and Verification for Disk Imaging]()
Digital Computer Forensic: Validation and Verification for Disk Imaging
59,00 €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 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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €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: Validation and Verification of Knowledge Based Systems]()
Validation and Verification of Knowledge Based Systems
213,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: Validation of Evolving Software]()
Validation of Evolving Software
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: Software Verification]()
Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Validation of Risk Models]()
The Validation of Risk Models
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation als Lebensphilosophie]()
Validation als Lebensphilosophie
17,40 €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: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies]()
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
70,61 €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: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
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: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
139,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: Validation]()
Validation
26,90 €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: Tools for Practical Software Verification]()
Tools for Practical Software Verification
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]()
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trainingsprogramm Validation]()
Trainingsprogramm Validation
29,90 €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: Verification and Validation in Systems Engineering]()
Verification and Validation in Systems Engineering
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling]()
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation Numerics]()
Validation Numerics
93,08 €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: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €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: Concise Guide to Software Verification]()
Concise Guide to Software Verification
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation and Verification of Automated Driving Systems]()
Validation and Verification of Automated Driving Systems
149,79 €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 Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
70,61 €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: Systems and Software Verification]()
Systems and Software Verification
149,79 €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: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation and Verification of Automated Systems]()
Validation and Verification of Automated Systems
90,94 €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: Verification and Validation of Complex Systems: Human Factors Issues]()
Verification and Validation of Complex Systems: Human Factors Issues
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
53,49 €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: Software Fault Prevention, Verification, and Validation]()
Software Fault Prevention, Verification, and Validation
69,54 €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: Software Verification and Analysis]()
Software Verification and Analysis
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 and Validation of Logic Control Safety Applications]()
Verification and Validation of Logic Control Safety Applications
45,80 €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: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Demenz und Validation]()
Demenz und Validation
7,99 €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: Computational Methods in Transport: Verification and Validation]()
Computational Methods in Transport: Verification and Validation
106,99 €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: Validation and Verification of Automated Systems]()
Validation and Verification of Automated Systems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques]()
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
106,99 €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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €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: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends]()
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers]()
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SOFTWARE DEVELOPMENT AND PROCESS VALIDATION IN TABLET MANUFACTURING]()
SOFTWARE DEVELOPMENT AND PROCESS VALIDATION IN TABLET MANUFACTURING
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
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
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Practice]()
Leveraging Applications of Formal Methods, Verification and Validation. Practice
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Validation für Einsatzkräfte]()
Validation für Einsatzkräfte
29,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: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Framework Validation]()
Framework Validation
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
90,94 €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: Leveraging Applications of Formal Methods, Verification and Validation: Applications]()
Leveraging Applications of Formal Methods, Verification and Validation: Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas]()
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
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: Validation]()
Validation
26,90 €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
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice]()
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
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: Validation of Evolving Software]()
Validation of Evolving Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was ist Validation?]()
Was ist Validation?
29,90 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering]()
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
74,89 €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: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning]()
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
