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 methods" wurden 78 Produkte gefunden

Filter
HOME
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
Towards Mathematical Philosophy
Towards Mathematical Philosophy
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine Learning for Dynamic Software Analysis: Potentials and Limits
62,05 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logical Analysis of Hybrid Systems
Logical Analysis of Hybrid Systems
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Runtime Verification
Runtime Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Aided Verification
Computer Aided Verification
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
E-Voting and Identity
E-Voting and Identity
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering and Formal Methods
Software Engineering and Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Model Checking Software
Model Checking Software
53,50 €*
Preise inkl. MwSt. zzgl. Versandkosten
Correct System Design
Correct System Design
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Refinement
Refinement
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
It's All About Coordination
It's All About Coordination
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Models of Communicating Systems
Formal Models of Communicating Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logics of Specification Languages
Logics of Specification Languages
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Model Checking Software
Model Checking Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...