Tools and Algorithms for the Construction and Analysis of Systems by Lijun Zhang
62,83 €
By Lijun Zhang, Tomás Vojnar. 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:
