Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation

Maribel Fernández

Logic-Based Program Synthesis and Transformation - Springer Springer 2021

ISBN: 9783030684464

Source: EBOOK