Logic-Based Program Synthesis and Transformation
Download or Read eBook Logic-Based Program Synthesis and Transformation PDF written by Juliana Bowles and published by Springer Nature. This book was released on with total page 248 pages. Available in PDF, EPUB and Kindle.
Author | : Juliana Bowles |
Publisher | : Springer Nature |
Total Pages | : 248 |
Release | : |
ISBN-10 | : 9783031712944 |
ISBN-13 | : 3031712943 |
Rating | : 4/5 (44 Downloads) |
Book Synopsis Logic-Based Program Synthesis and Transformation by : Juliana Bowles
Book excerpt: