-
27.01.2017A decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...
-
02.04.2018
This dissertation focuses on two subjects in formal verification. The first subject is the develo...
-
12.11.2017
This book constitutes the refereed proceedings of the 13th International Haifa Verification Confe...
-
13.07.2018
A decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...
-
This volume contains the papers presented at SAT 2010, the 13th International Conference on Theor...
TaschenbuchUnser bisheriger Preis:ORGPRICE: 96,29 €
Jetzt 53,49 €Besorgungstitel - wird vorgemerktAlle Preise inkl. MwSt | Versandkostenfrei -
A decision procedure is an algorithm that, given a decision problem, terminates with a correct ye...
- 1