خرید و دانلود نسخه کامل کتاب Temporal Logic of Programs

منطق زمانی برنامه ها

Temporal Logic of Programs

نویسنده: Fred Kröger

ناشر: Springer

سال انتشار: 1987

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

زبان: English

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

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