خرید و دانلود نسخه کامل کتاب Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

زبان‌های رسمی مبتنی بر برنامه‌نویسی و تئوری خودکار: طراحی، پیاده‌سازی، اعتبارسنجی و اثبات (متون در علوم کامپیوتر)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

نویسنده: Marco T. Morazán

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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