خرید و دانلود نسخه کامل کتاب Automatische Synthese rekursiver Programme als Beweisverfahren

سنتز خودکار برنامه های بازگشتی به عنوان روش اثبات

Automatische Synthese rekursiver Programme als Beweisverfahren

نویسنده: Susanne Biundo (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1992

تعداد صفحات: 262

زبان: German

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت