Zu "deductive verification" wurden 5 Produkte gefunden
HOME
Verification of Object-Oriented Software. The KeY Approach
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Deductive Software Verification: Future Perspectives
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten