
Logic based program synthesis and transformation : 23nd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 ; revised selected papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2014
نویسنده
Gopal Guptaنویسنده
Gopal Guptaشابک
978-3-319-14124-4
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران