Decision Procedures

Decision Procedures: An Algorithmic Point of View 2nd 版 著者: Daniel Kroening; Ofer Strichman 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Decision Procedures : 9783662504970, 3662504979 および 印刷版のISBNは 9783662504963, 3662504960. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Decision Procedures: An Algorithmic Point of View 2nd 版 著者: Daniel Kroening; Ofer Strichman 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Decision Procedures : 9783662504970, 3662504979 および 印刷版のISBNは 9783662504963, 3662504960. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。