Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Neue Paradigmen in der computergestützten Verifizierung von Tyler Keating Hardcover Buch

149,98 €

Title New Paradigms in Computer Aided Verification. Author Tyler Keating. The goal of CAD is to make such systems more robust, correct and dependable. Static analysis, model checking and theorem proving are part of the verification process in mathematical theories.

Jetzt bei Ebay: