Normal view MARC view ISBD view

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

Logic-Based Program Synthesis and Transformation - Springer Springer 2022

ISBN: 9783031167676

Source: EBOOK