Kategorien

Zu "Verifikation - verifizieren" wurden 27 Produkte gefunden

Filter
–
Vermutungen und Widerlegungen
Vermutungen und Widerlegungen Popper, Karl R.

59,00 €*
Programmverifikation
Programmverifikation Olderog, Ernst-Rüdiger, Apt, Krzysztof R.

29,95 €*
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods

53,49 €*
Petrinetze, lineare Algebra und lineare Programmierung
Petrinetze, lineare Algebra und lineare Programmierung

44,99 €*
Model Checking Software
Model Checking Software

53,49 €*
Computer Aided Verification
Computer Aided Verification

106,99 €*
Design, Specification and Verification of Interactive Systems ¿95
Design, Specification and Verification of Interactive Systems ¿95

53,49 €*
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods

53,49 €*
Partial-Order Methods for the Verification of Concurrent Systems
Partial-Order Methods for the Verification of Concurrent Systems

53,49 €*
Design, Specification and Verification of Interactive Systems ¿96
Design, Specification and Verification of Interactive Systems ¿96

53,49 €*
Hardware and Software, Verification and Testing
Hardware and Software, Verification and Testing

53,49 €*
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis

106,99 €*
Computer Aided Verification
Computer Aided Verification

106,99 €*
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

53,49 €*
Computer Aided Verification
Computer Aided Verification

53,49 €*
Verification: Theory and Practice
Verification: Theory and Practice

106,99 €*
Computer Aided Verification
Computer Aided Verification

106,99 €*
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

53,49 €*
Minimal Verificationism
Minimal Verificationism Haas, Gordian

104,95 €*
Verification of Reactive Systems
Verification of Reactive Systems Schneider, Klaus

53,49 €*
Computer Aided Verification
Computer Aided Verification

106,99 €*
Unfoldings
Unfoldings Heljanko, Keijo, Esparza, Javier

106,99 €*
Creating Assertion-Based IP
Creating Assertion-Based IP Krolnik, Adam C., Foster, Harry D.

160,49 €*
Computer Aided Verification
Computer Aided Verification

53,49 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...