Logic-Based Program Synthesis and Transformation
de Juliana Bowles, Harald Søndergaard
Ediciones (1)
- Logic-Based Program Synthesis and Transformation (2024)
Springer · inglés · ISBN 9783031712937
de Juliana Bowles, Harald Søndergaard
Springer · inglés · ISBN 9783031712937