مدل سازی سیستم های توزیع شده: تصور ، مشخصات رسمی و تأیید با شبکه های محصول
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
نویسنده: Peter Ochsenschläger, Rainer Prinoth (auth.)
ناشر: Vieweg+Teubner Verlag
سال انتشار: 1995
تعداد صفحات: 289
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت