Publisher's Synopsis
Logic-Based Program Synthesis and Transformation
Paperback (25 Feb 2019) | German
Not available for sale
Out of stock
Logic-Based Program Synthesis and Transformation
ISBN: | 9783030138394 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 25 Feb 2019 |
Language: | German |
Number of pages: | 224 |
Weight: | 322g |
Height: | 234mm |
Width: | 156mm |