Logic-Based Program Synthesis and Transformation
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Edición de la obra Logic-Based Program Synthesis and Transformation
| Autor | Juliana Bowles, Harald Søndergaard |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031712937 |
| Número de Cutter | B787l |