Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Technology for Verification and Analysis
Lieferzeit: Lieferbar innerhalb 14 Tagen
80,24 €
inkl. 7 % MwSt. zzgl. Versandkosten
20th International Symposium, ATVA 2022, Virtual Event, October 25-28,2022, Proceedings, Lecture Notes in Computer Science 13505
| ISBN: | 303119991X |
|---|---|
| ISBN 13: | 9783031199912 |
| Herausgeber: | Ahmed Bouajjani/Lukás Holík/Zhilin Wu |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xxiii, 432 S., 30 s/w Illustr., 64 farbige Illustr., 432 p. 94 illus., 64 illus. in color. |
| Erscheinungsdatum: | 23.10.2022 |
| Auflage: | 1/2022 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: SystemVerilog for Verification]()
SystemVerilog for Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Diagnostic]()
Automated Diagnostic
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
87,73 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
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: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Induction, Termination Analysis]()
Verification, Induction, Termination Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligent Signature Verification and Analysis]()
Intelligent Signature Verification and Analysis
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Biometrics]()
Automated Biometrics
160,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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
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: Automated measurement evaluation for combustion analysis]()
Automated measurement evaluation for combustion analysis
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
42,79 €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: Automated Biometrics]()
Automated Biometrics
160,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 Verification and Analysis]()
Software Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
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: Automated Lies]()
Automated Lies
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Democracy]()
Automated Democracy
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Pattern Analysis in Petroleum Exploration]()
Automated Pattern Analysis in Petroleum Exploration
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €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: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification Coverage Measurement and Analysis]()
Functional Verification Coverage Measurement and Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Data Integration, Cleaning and Analysis]()
Automated Data Integration, Cleaning and Analysis
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Verification of Dynamic Access Control Policies]()
Automated Verification of Dynamic Access Control Policies
68,00 €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: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated 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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Verification Coverage Measurement and Analysis]()
Functional Verification Coverage Measurement and Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €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: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €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: 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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
160,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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
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: Automated Verification of Concurrent Search Structures]()
Automated Verification of Concurrent Search Structures
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: Professional Verification]()
Professional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
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: Runtime Verification]()
Runtime 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: Automated Driving]()
Automated Driving
299,59 €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: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Technology for Verification and Analysis]()
Automated Technology for Verification and Analysis
80,24 €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: 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: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Driving]()
Automated Driving
299,59 €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: Automated Methods in Cryptographic Fault Analysis]()
Automated Methods in Cryptographic Fault Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
