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 "temporal logics" wurden 13 Produkte gefunden

Filter
HOME
Representing Plans Under Uncertainty
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Operational Semantics for Timed Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Reachability Problems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Kripke’s Worlds
90,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Reasoning
85,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Industrial Critical Systems
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
CONCUR 2011 -- Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods for Industrial Critical Systems
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Neu
Recent Trends in Algebraic Development Techniques
117,69 €*
Preise inkl. MwSt. zzgl. Versandkosten
Neu
Recent Trends in Algebraic Development Techniques
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten