Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings (Lecture Notes in Computer Science, 16117)
83.50 CHF
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
Logic-Based Program Synthesis and Transformation - Escobar, Santiago; Titolo, Laura - Schreiber
schreibers.ch
20-11-2025 20:17:56
