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 "specification" wurden 12 Produkte gefunden

Filter
HOME
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Practical TLA+
Practical TLA+
48,14 €*
Preise inkl. MwSt. zzgl. Versandkosten
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Tests and Proofs
Tests and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Practice of Formal Methods
The Practice of Formal Methods
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Practice of Formal Methods
The Practice of Formal Methods
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
Hyperbolic Flows
Hyperbolic Flows
78,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...