خرید و دانلود نسخه کامل کتاب Formal Systems Specification: The RPC-Memory Specification Case Study

مشخصات سیستم های رسمی: مطالعه موردی مشخصات RPC-Memory

Formal Systems Specification: The RPC-Memory Specification Case Study

نویسنده: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 543 [555]

زبان: English

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

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