جسجتو در بین میلیونها کتاب

دانلود نامحدود

پشتیبانی از ساعت 7 تا 23

ضمانت بازگشت وجه

دانلود کتاب Real-time systems: specification, verification, and analysis

سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل

عنوان فارسی	سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل
عنوان اصلی	Real-time systems: specification, verification, and analysis
ویرایش	1st
ناشر	Prentice Hall
نویسنده	Mathai Joseph
ISBN	9780134552972, 0134552970
سال نشر	1996
زبان	English
تعداد صفحات	290
دسته	کنفرانس ها و همایش های بین المللی
فرمت کتاب	pdf - قابل تبدیل به سایر فرمت ها
حجم فایل	2 مگابایت

* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.

وضعیت : موجود

قیمت : 78,000 تومان

میانگین امتیاز:

از 0 رای

مشاهد کتاب در آمازون

توضیحات فهرست مطالب اطلاعات قبل از خربد

نحوه دریافت کتاب

این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.

کتاب های مرتبط

Proceedings Of The Second International Conference On The Theory Of Groups

دانلود کتاب Proceedings Of The Second International Conference On The Theory Of Groups

Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

دانلود کتاب Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

Soft-Ware 2002: Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings

دانلود کتاب Soft-Ware 2002: Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings

Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers (Lecture ... Computer Science and General Issues)

دانلود کتاب Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers (Lecture ... Computer Science and General Issues)

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

دانلود کتاب Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

دانلود کتاب Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings

دانلود کتاب Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings

Advances in Databases and Information Systems: 6th East European Conference, ADBIS 2002 Bratislava, Slovakia, September 8–11, 2002 Proceedings

دانلود کتاب Advances in Databases and Information Systems: 6th East European Conference, ADBIS 2002 Bratislava, Slovakia, September 8–11, 2002 Proceedings

Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling Salt Lake City, Utah, USA, October 9–12, 2000 Proceedings

دانلود کتاب Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling Salt Lake City, Utah, USA, October 9–12, 2000 Proceedings

Dividing (Workshop Practice)

دانلود کتاب Dividing (Workshop Practice)