Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0
Zur Startseite gehen
Zur Startseite gehen
0,00 €*

Zu "software verification" wurden 48 Produkte gefunden

Filter
HOME
Programming Languages and Systems
Programming Languages and Systems
64,19 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Model Checking Software
Model Checking Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Distributed Ledger Technology
Distributed Ledger Technology
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Validation and Verification of Knowledge Based Systems
Validation and Verification of Knowledge Based Systems
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering and Formal Methods
Software Engineering and Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
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
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Model Checking Software
Model Checking Software
49,22 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Components and Objects
Formal Methods for Components and Objects
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction -- CADE-24
Automated Deduction -- CADE-24
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Components and Objects
Formal Methods for Components and Objects
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Aspects of Component Software
Formal Aspects of Component Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Composability, Comprehensibility and Correctness of Working Software
Composability, Comprehensibility and Correctness of Working Software
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Integrated Formal Methods
Integrated Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematical and Engineering Methods in Computer Science
Mathematical and Engineering Methods in Computer Science
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Static Analysis
Static Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...