Zu "Program Verification" wurden 22 Produkte gefunden
HOME
Higher Order Logic Theorem Proving and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Partial-Order Methods for the Verification of Concurrent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Neu
Principles and Practices of Building Parallel Software
96,29 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten