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 "Model Checking" wurden 77 Produkte gefunden

Filter
HOME
Handbook of Model Checking
Handbook of Model Checking
139,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logics in Computer Science
Logics in Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Generic Programming
Generic Programming
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
58,84 €*
Preise inkl. MwSt. zzgl. Versandkosten
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Advanced Computing and Systems for Security: Volume 14
Advanced Computing and Systems for Security: Volume 14
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Die „künstliche Seele“
Die „künstliche Seele“
49,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
CONCUR 2002 - Concurrency Theory
CONCUR 2002 - Concurrency Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Membrane Computing
Membrane Computing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification and Validation in Systems Engineering
Verification and Validation in Systems Engineering
139,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Carl Adam Petri: Ideas, Personality, Impact
Carl Adam Petri: Ideas, Personality, Impact
48,14 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Approaches to Agent-Based Systems
Formal Approaches to Agent-Based Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
74,89 €*
Preise inkl. MwSt. zzgl. Versandkosten
Advanced Computing and Systems for Security: Volume 13
Advanced Computing and Systems for Security: Volume 13
128,39 €*
Preise inkl. MwSt. zzgl. Versandkosten
Duration Calculus
Duration Calculus
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems
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
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
119,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Aided Verification
Computer Aided Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...