خرید و دانلود نسخه کامل کتاب The Practice of Formal Methods: Essays in Honour of Cliff Jones

عمل روشهای رسمی: مقاله هایی در افتخار کلیف جونز

The Practice of Formal Methods: Essays in Honour of Cliff Jones

نویسنده: Ana Cavalcanti (editor), James Baxter (editor)

ناشر: Springer

سال انتشار: 2024

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

زبان: English

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

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