خرید و دانلود نسخه کامل کتاب Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

منطق زمانی در مشخصات: Altrincham، UK، 8-10 آوریل، 1987 مجموعه مقالات

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

نویسنده: Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1989

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

زبان: English

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

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