Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering 著者: Johann M. Schumann 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Theorem Proving in Software Engineering : 9783662226469, 3662226464 および 印刷版のISBNは 9783540679899, 3540679898. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Theorem Proving in Software Engineering 著者: Johann M. Schumann 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Theorem Proving in Software Engineering : 9783662226469, 3662226464 および 印刷版のISBNは 9783540679899, 3540679898. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。