Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation
Autor
Santiago Escobar, Laura Titolo
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032048486
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-04848-6