Tools and Algorithms for the Construction and Analysis of Systems by Lijun Zhang
69,16 €
The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Jetzt bei Ebay:
