ISBN-13: 9783030010898 / Angielski / Miękka / 2018 / 560 str.
Formal Methods.- Verification.- Program Synthesis.- Model Checking.- Theorem Proving.- Software Verification.- SAT Solver.- SMT Solver.- Automation Logic.
Czytaj nas na: