• Book cover of: Logic-Based Program Synthesis and Transformation. By: Alicia Villanueva

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

€60,62
€60,62 €62,49 Sale
Tax included. Shipping calculated at checkout.

In stock
Leidimo metai 2022 m.
Puslapių skč. 155 psl.
Viršelis Minkštas viršelis
ISBN 9783031167669
Leidimas 1st ed. 2022

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation by Alicia Villanueva.

Published by Springer International Publishing AG, (2022), Paperback, 155 pages.

Book cover of: Logic-Based Program Synthesis and Transformation. By: Alicia Villanueva

Logic-Based Program Synthesis and Tra...

€60,62
€60,62 €62,49