Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Verified Software: Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Verifikation und Validierung für die Simulation in Produktion und Logistik
Verifying Calculations - Forty Years On
Verilog and SystemVerilog Gotchas
Veritas Storage Foundation®
Verkaufen, Flirten, Führen
Verkehrs- und Transportlogistik
Verkehrsdynamik und -simulation