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 "Isabelle/HOL" wurden 11 Produkte gefunden

Filter
HOME
Architecting Systems with Trustworthy Components
Architecting Systems with Trustworthy Components
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Certified Programs and Proofs
Certified Programs and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
NASA Formal Methods
NASA Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Unifying Theories of Programming
Unifying Theories of Programming
42,80 €*
Preise inkl. MwSt. zzgl. Versandkosten
Interactive Theorem Proving
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Certified Programs and Proofs
Certified Programs and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning
Automated Reasoning
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...