Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat
68,59 €
Theorem Proving. - Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning. - Efficient verification of imperative programs using auto2. - SAT and SMT I.- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams.
Jetzt bei Ebay:
