Software Verification
Lieferzeit: Lieferbar innerhalb 14 Tagen
58,84 €
inkl. 7 % MwSt. zzgl. Versandkosten
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19,2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19,2021, Revised Selected Papers, Lecture Notes in Computer Science 13124 – Programming and Software Engineering
| ISBN: | 3030955605 |
|---|---|
| ISBN 13: | 9783030955601 |
| Herausgeber: | Roderick Bloem/Rayna Dimitrova/Chuchu Fan et al |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 197 S., 25 s/w Illustr., 42 farbige Illustr., 197 p. 67 illus., 42 illus. in color. |
| Erscheinungsdatum: | 22.02.2022 |
| Auflage: | 1/2022 |
| Produktform: | Kartoniert |
| Einband: | KT |
Das könnte Ihnen auch gefallen …
-
![]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Satisfiability & Verification
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Verification Techniques
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Empirical Software Engineering and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification of Object-Oriented Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
4D Image Verification
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Offline Signature Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
SPIN Model Checking and Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Challenges of Software Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Facial Kinship Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Embedded Software Verification and Debugging
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Verification and Validation
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Deductive Software Verification – The KeY Book
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Approaches to Software Testing and Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Quality Approaches: Testing, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Deductive Software Verification: Future Perspectives
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
String Analysis for Software Verification and Security
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Verification and Validation
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer-Aided Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Power Grid Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software, Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Engineering: Specification, Implementation, Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Concise Guide to Software Verification
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Professional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software, Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification and Validation of Real-Time Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware/Software Co-Design and Co-Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Introducing Software Verification with Dafny Language
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Embedded Software Verification and Debugging
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Tools for Practical Software Verification
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware/Software Co-Design and Co-Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification-based software-fault detection
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Engineering: Specification, Implementation, Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Contraint-Based Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Scalable Bit-precise Formal Verification of Embedded Software
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
String Analysis for Software Verification and Security
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Open Source Software: Quality Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Open Source Software: Quality Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Software Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Verification of Temporal Properties in Embedded Software
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Universal Verification Methodology Based Verification Environment
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![]()
Hardware and Software: Verification and Testing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
