Main image
Click to view image in fullscreen
![]()
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
670,00 DH
Sur commande
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
| ISBN / EAN | 9783030452599 |
|---|---|
| Editeur | Springer Nature Switzerland AG |