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 "program verification" wurden 49 Produkte gefunden

Filter
HOME
Logic of Computation
Logic of Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Programming Languages and Systems
Programming Languages and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Compositionality, Concurrency, and Partial Correctness
Compositionality, Concurrency, and Partial Correctness
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods Teaching
Formal Methods Teaching
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Static Analysis
Static Analysis
87,73 €*
Preise inkl. MwSt. zzgl. Versandkosten
Static Analysis
Static Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Static Analysis
Static Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
49,22 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Web Reasoning and Rule Systems
Web Reasoning and Rule Systems
49,22 €*
Preise inkl. MwSt. zzgl. Versandkosten
Static Analysis
Static Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
CONCUR 2008 - Concurrency Theory
CONCUR 2008 - Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verification of Business Rules Programs
Verification of Business Rules Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Aliasing in Object-Oriented Programming
Aliasing in Object-Oriented Programming
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logic Program Synthesis and Transformation
Logic Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Types for Proofs and Programs
Types for Proofs and Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Communications and Multimedia Security
Communications and Multimedia Security
42,80 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...