Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation

Maurizio Gabbrielli

Logic-Based Program Synthesis and Transformation - Springer Springer 2020

ISBN: 9783030452605

Source: EBOOK