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 37 Produkte gefunden

Filter
HOME
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Deductive Program Design
Deductive Program Design
213,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
53,49 €*
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
Fundamentals of Software Engineering
Fundamentals of Software Engineering
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Membrane Computing
Membrane Computing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computing and Software Science
Computing and Software Science
32,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
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
Trustworthy Global Computing
Trustworthy Global Computing
42,80 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programming Languages and Systems
Programming Languages and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
42,80 €*
Preise inkl. MwSt. zzgl. Versandkosten
Symposium on Real-Time and Hybrid Systems
Symposium on Real-Time and Hybrid Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...