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

Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 25.

Ø 0.0
0 Bewertungen
53,31 €

SAT and SMT. - Decomposing Farkas Interpolants. - Parallel SAT Simplification on GPU Architectures. - Building Better Bit-Blasting for Floating-Point Problems. - The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.

Jetzt bei Ebay: