
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2000
شابک
9783540451488
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران