Logic-Based Program Synthesis and Transformation

שנה

2012

שפה

English

סדרה

Lecture Notes in Computer Science -- 7225

הוצאה

Springer Berlin Heidelberg

מהדורות

2

ISBN

9783642322112

מקור הנתונים: Wikidata