Zu "interactive theorem proving" wurden 15 Produkte gefunden
HOME
Unifying Theories of Programming and Formal Engineering Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Interactive Theorem Proving and Program Development
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Verification of Floating-Point Hardware Design
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Verification of Floating-Point Hardware Design
90,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Verification of Floating-Point Hardware Design
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten