Zu "software verification" wurden 43 Produkte gefunden
HOME
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
32,50 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Dependable Software Engineering. Theories, Tools, and Applications
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematical and Engineering Methods in Computer Science
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Composability, Comprehensibility and Correctness of Working Software
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Structured Object-Oriented Formal Language and Method
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten