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

Zu "logic and verification" wurden 25 Produkte gefunden

Filter
HOME
Pristine Perspectives on Logic, Language and Computation
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
NASA Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Intelligent Computer Mathematics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Critical Systems: Formal Methods and Automated Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Rules on the Web: From Theory to Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering and Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Aided Verification
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Developments in Language Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods and Software Engineering
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Foundations of Security, Protocols, and Equational Reasoning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Digital Sovereignty in Cyber Security: New Challenges in Future Vision
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods in Macro-Biology
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
NASA Formal Methods
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theoretical Aspects of Computing – ICTAC 2019
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Applied Cryptography and Network Security
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Applied Cryptography and Network Security
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering and Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Applied Cryptography and Network Security Workshops
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
Applied Cryptography and Network Security Workshops
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
Agents and Robots for reliable Engineered Autonomy
64,19 €*
Preise inkl. MwSt. zzgl. Versandkosten