شبکه های پتری ، جبر خطی و برنامه نویسی خطی: تجزیه و تحلیل ، صحت و اثبات صحت مدل های سیستم
Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
نویسنده: Dr. Jörg Desel (auth.)
ناشر: Vieweg+Teubner Verlag
سال انتشار: 1998
تعداد صفحات: 135
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت