Logic-Based Program Synthesis and Transformation
Maribel Fernández
Logic-Based Program Synthesis and Transformation - Springer Nature 2021 - Lecture Notes in Computer Science .
One time purchase [Perpetual access]
9783030684464
Computer Science
Logic-Based Program Synthesis and Transformation - Springer Nature 2021 - Lecture Notes in Computer Science .
One time purchase [Perpetual access]
9783030684464
Computer Science