Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Hardware and Software: Verification and Testing
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7,2010, Revised Selected Papers – Lecture Notes in Computer Science/Programming and Software Engineering 6504, Lecture Notes in Computer Science 6504 – Programming and Software Engineering
| ISBN: | 3642195822 |
|---|---|
| ISBN 13: | 9783642195822 |
| Herausgeber: | Sharon Barner/Ian Harris/Daniel Kroening et al |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 197 S., 38 s/w Illustr., 13 farbige Illustr., 197 p. 51 illus., 13 illus. in color. |
| Erscheinungsdatum: | 17.03.2011 |
| Auflage: | 1/2011 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Hardware Verification with System Verilog]()
Hardware Verification with System Verilog
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: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Specification, Testing and Verification XIV]()
Protocol Specification, Testing and Verification XIV
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die rechtliche Einheit von Hardware und Software.]()
Die rechtliche Einheit von Hardware und Software.
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware/Software Co-Design]()
Hardware/Software Co-Design
406,59 €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: Correct Hardware Design and Verification Methods]()
Correct Hardware Design and Verification Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Software in Hardware]()
The Software in Hardware
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PC Software & Hardware]()
PC Software & Hardware
39,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 Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware-Software-Codesign]()
Hardware-Software-Codesign
39,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware-dependent Software]()
Hardware-dependent Software
106,99 €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 Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Hardware Verification]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware - Software - Klangdateien]()
Hardware – Software – Klangdateien
12,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Hardware Design and Verification]()
Advances in Hardware Design and Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware Verification with C++]()
Hardware Verification with C++
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Software Testing]()
Practical Software Testing
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Software Testing]()
Practical Software Testing
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Correct Hardware Design and Verification Methods]()
Correct Hardware Design and Verification Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and 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: Current Trends in Hardware Verification and Automated Theorem Proving]()
Current Trends in Hardware Verification and Automated Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Viruses, Hardware and Software Trojans]()
Viruses, Hardware and Software Trojans
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware Verification with SystemVerilog]()
Hardware Verification with SystemVerilog
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The e Hardware Verification Language]()
The e Hardware Verification Language
213,99 €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: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware 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: Hardware/software partitioning]()
Hardware/software partitioning
49,00 €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-dependent Software]()
Hardware-dependent Software
23,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Digitale Hardware/Software-Systeme]()
Digitale Hardware/Software-Systeme
44,99 €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: Hardware Verification with C++]()
Hardware Verification with C++
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware-/Software-Codesign eines Einparkassistenten]()
Hardware-/Software-Codesign eines Einparkassistenten
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware and Software Projects Troubleshooting]()
Hardware and Software Projects Troubleshooting
50,28 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
53,49 €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: Software Testing]()
Software Testing
39,90 €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: 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: Hardware-Dependent Software]()
Hardware-Dependent Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Improving Software Testing]()
Improving Software Testing
53,45 €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: Testing Software and Systems]()
Testing Software and Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
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: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Correct Hardware Design and Verification Methods]()
Correct Hardware Design and Verification Methods
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: Hardware and Software: Verification and Testing]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hardware/Software Co-Design]()
Hardware/Software Co-Design
318,86 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Software Testing]()
Automated Software Testing
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The e Hardware Verification Language]()
The e Hardware Verification Language
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Engineering and Testing]()
Software Engineering and Testing
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
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: Viruses, Hardware and Software Trojans]()
Viruses, Hardware and Software Trojans
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Testing]()
Software Testing
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Digitale Hardware/Software-Systeme]()
Digitale Hardware/Software-Systeme
37,99 €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: Hardware Accelerated Functional Verification]()
Hardware Accelerated Functional Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Hardware Verification]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sequential Logic Testing and Verification]()
Sequential Logic Testing and Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and 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: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
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: Embedded Software Verification and Debugging]()
Embedded Software Verification and Debugging
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Testing Software and Systems]()
Testing Software and Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Testing]()
Software Testing
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Correct Hardware Design and Verification Methods]()
Correct Hardware Design and Verification Methods
53,49 €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: Models in Hardware Testing]()
Models in Hardware Testing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protocol Specification, Testing and Verification XIV]()
Protocol Specification, Testing and Verification XIV
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Hardware Verification with Symbolic Simulation]()
Scalable Hardware Verification with Symbolic Simulation
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Models in Hardware Testing]()
Models in Hardware Testing
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Testing]()
Software Testing
39,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 Testing]()
Software Testing
54,90 €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
