Logic-Based Program Synthesis and Transformation
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
Download or read book Logic-Based Program Synthesis and Transformation 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. Book excerpt: