Zur Startseite gehen
0,00 €*
Kategorien
Ihre Suche nach "Verifikation - verifizieren" ergab 27 Produkte
Filter
Vermutungen und Widerlegungen
Karl R. Popper
Vermutungen und Widerlegungen
66,90 €*
inkl. MwSt, zzgl. Versand
Model Checking Software
Model Checking Software
60,80 €*
inkl. MwSt, zzgl. Versand
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods
60,80 €*
inkl. MwSt, zzgl. Versand
Computer Aided Verification
Computer Aided Verification
120,00 €*
inkl. MwSt, zzgl. Versand
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods
60,80 €*
inkl. MwSt, zzgl. Versand
Hardware and Software, Verification and Testing
Hardware and Software, Verification and Testing
60,80 €*
inkl. MwSt, zzgl. Versand
Computer Aided Verification
Computer Aided Verification
120,00 €*
inkl. MwSt, zzgl. Versand
Verification of Reactive Systems
Klaus Schneider
Verification of Reactive Systems
60,80 €*
inkl. MwSt, zzgl. Versand
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
120,00 €*
inkl. MwSt, zzgl. Versand
Verification: Theory and Practice
Verification: Theory and Practice
120,00 €*
inkl. MwSt, zzgl. Versand
Hardware Verification with System Verilog
Robert Ekendahl, Mike Mintz
Hardware Verification with System Verilog
190,00 €*
inkl. MwSt, zzgl. Versand
Creating Assertion-Based IP
Adam C. Krolnik, Harry D. Foster
Creating Assertion-Based IP
179,00 €*
inkl. MwSt, zzgl. Versand
Computer Aided Verification
Computer Aided Verification
60,80 €*
inkl. MwSt, zzgl. Versand
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
60,80 €*
inkl. MwSt, zzgl. Versand
Computer Aided Verification
Computer Aided Verification
120,00 €*
inkl. MwSt, zzgl. Versand
Unfoldings
Keijo Heljanko, Javier Esparza
Unfoldings
120,00 €*
inkl. MwSt, zzgl. Versand
Petrinetze, lineare Algebra und lineare Programmierung
Petrinetze, lineare Algebra und lineare Programmierung
51,50 €*
inkl. MwSt, zzgl. Versand
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
60,80 €*
inkl. MwSt, zzgl. Versand
Computer Aided Verification
Computer Aided Verification
60,80 €*
inkl. MwSt, zzgl. Versand
Minimal Verificationism
Gordian Haas
Minimal Verificationism
117,00 €*
inkl. MwSt, zzgl. Versand
Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems
60,80 €*
inkl. MwSt, zzgl. Versand
Programmverifikation
Ernst-Rüdiger Olderog, Krzysztof R. Apt
Programmverifikation
34,90 €*
inkl. MwSt, zzgl. Versand
SystemVerilog for Verification
Greg Tumbush, Chris Spear
SystemVerilog for Verification
131,00 €*
inkl. MwSt, zzgl. Versand
Design, Specification and Verification of Interactive Systems '96
Design, Specification and Verification of Interactive Systems '96
60,80 €*
inkl. MwSt, zzgl. Versand

Sie haben Ihr Buch noch nicht gefunden?

Sprechen Sie uns einfach an, wir helfen gerne weiter!
Telefonisch erreichbar unter 0039 0473 274444
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...