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 "Formale Methoden" wurden 28 Produkte gefunden

Filter
HOME
FME '93: Industrial-Strength Formal Methods
FME '93: Industrial-Strength Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematics of Program Construction
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
ESEC '91
ESEC '91
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Computer Aided Verification
Computer Aided Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Hybrid Systems III
Hybrid Systems III
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Program Development
Formal Program Development
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
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Formal Development of Reactive Systems
Formal Development of Reactive Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
FME '94: Industrial Benefit of Formal Methods
FME '94: Industrial Benefit of Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Higher Order Logic Theorem Proving and Its Applications
Higher Order Logic Theorem Proving and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
ZUM '95: The Z Formal Specification Notation
ZUM '95: The Z Formal Specification Notation
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Object-Based Concurrent Computing
Object-Based Concurrent Computing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
FME '96: Industrial Benefit and Advances in Formal Methods
FME '96: Industrial Benefit and Advances in Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
TAPSOFT '95: Theory and Practice of Software Development
TAPSOFT '95: Theory and Practice of Software Development
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematics of Program Construction
Mathematics of Program Construction
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...