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 "Formal Specification" wurden 31 Produkte gefunden

Filter
HOME
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
4th Refinement Workshop
4th Refinement Workshop
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 Program Development
Formal Program Development
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
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automatic Methods for the Refinement of System Models
Automatic Methods for the Refinement of System Models
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Specification Case Studies in RAISE
Specification Case Studies in RAISE
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Integrated Formal Methods
Integrated Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
ZUM '98: The Z Formal Specification Notation
ZUM '98: The Z Formal Specification Notation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Types for Proofs and Programs
Types for Proofs and Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Isabelle/HOL
Isabelle/HOL
58,84 €*
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
Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
192,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Types for Proofs and Programs
Types for Proofs and Programs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematics of Program Construction
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Understanding Agent Systems
Understanding Agent Systems
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Understanding Agent Systems
Understanding Agent Systems
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Recent Trends in Data Type Specification
Recent Trends in Data Type Specification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...