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 "Formal Verification" wurden 76 Produkte gefunden

Filter
HOME
Secure Multi-Party E-Commerce Protocols
Secure Multi-Party E-Commerce Protocols
48,14 €*
Preise inkl. MwSt. zzgl. Versandkosten
Trees in Algebra and Programming - CAAP '96
Trees in Algebra and Programming - CAAP '96
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction - CADE-16
Automated Deduction - CADE-16
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Ubiquitous Information Technologies and Applications
Ubiquitous Information Technologies and Applications
353,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Real-Time and Probabilistic Systems
Formal Methods for Real-Time and Probabilistic Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Information, Photonics and Communication
Information, Photonics and Communication
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction in Geometry
Automated Deduction in Geometry
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Correct-by-Construction Approaches for SoC Design
Correct-by-Construction Approaches for SoC Design
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Systems Specification
Formal Systems Specification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Integrated Formal Methods
Integrated Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Types for Proofs and Programs
Types for Proofs and Programs
53,49 €*
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
Mathematics of Program Construction
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
SPIN Model Checking and Software Verification
SPIN Model Checking and Software Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Deduction - CADE-15
Automated Deduction - CADE-15
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Correct-by-Construction Approaches for SoC Design
Correct-by-Construction Approaches for SoC Design
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Abstract State Machines - Theory and Applications
Abstract State Machines - Theory and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
CONCUR 2002 - Concurrency Theory
CONCUR 2002 - Concurrency Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Isabelle/HOL
Isabelle/HOL
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...