Werkzeuge und Algorithmen für die Konstruktion und Analyse von Systemen von Lijun Zhang
72,83 €
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:
