Theory and Applications of Satisfiability Testing SAT 2018 | Kaicus Deutschland

Theory and Applications of Satisfiability Testing SAT 2018

53.49 EUR 9% Off 59.00 EUR

Ein wissenschaftliches Sammelwerk aus den Vorträgen der SAT 2018‑Konferenz, das neue Algorithmen, theoretische Modelle und Anwendungen in Logikverifikation sowie Optimierungsproblemen detailliert beschreibt.

Marke: Springer-Verlag GmbH
MPN: 33137093
ISBN: 3319941437
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen