Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

Logic-Based Program Synthesis and Transformation - Springer Springer 2022

ISBN: 9783030988692

Source: EBOOK