ورود به حساب کاربری

خرید کتاب 25 years of model checking : history, achievements, perspectives

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
25 years of model checking : history, achievements, perspectives
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, ,
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

print book

زبان

english

تاریخ انتشار

2008

نویسنده

Orna Grumberg; Helmut Veith

ناشر

Berlin : Springer, 2008.

شابک

9783540698500
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

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

Verification and Control of Hybrid Systems

Verification and Control of Hybrid Systems

Paulo Tabuada
20
هزار تومان
Formal System Verification

Formal System Verification

Rolf Drechsler
20
هزار تومان
Model Checking

Model Checking

Edmund M. C...
20
هزار تومان
Reconfigurable System Design and Verification

Reconfigurable System Design and Verification

Marco D. Sa...
20
هزار تومان
Reachability problems 7th international workshop ; proceedings

Reachability problems 7th international workshop ; proceedings

بدون نویسنده
20
هزار تومان
Augmented environments for computer-assisted interventions : 6th International Workshop, AE-CAI 2011, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011 : revised selected papers

Augmented environments for computer-assisted interventions : 6th International Workshop, AE-CAI 2011, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011 : revised selected papers

Cristian A ...
20
هزار تومان
Reachability problems 7th international workshop ; proceedings

Reachability problems 7th international workshop ; proceedings

بدون نویسنده
20
هزار تومان
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Rolf Drechsler
20
هزار تومان
Good laboratory practices : an agrochemical perspective : developed from a symposium sponsored by the Division of Agrochemicals at the 194th Meeting of the American Chemical Society, New Orleans, Louisiana, August 30-September 4, 1987

Good laboratory practices : an agrochemical perspective : developed from a symposium sponsored by the Division of Agrochemicals at the 194th Meeting of the American Chemical Society, New Orleans, Louisiana, August 30-September 4, 1987

Willa Y Gar...
20
هزار تومان
25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives

Orna Grumbe...
20
هزار تومان
Model Checking

Model Checking

Doron A Peled
20
هزار تومان
Reachability Problems

Reachability Problems

Giorgio Del...
20
هزار تومان
Principles of model checking

Principles of model checking

Christel Ba...
20
هزار تومان
The inverse method : parametric verification of real-time embedded systems

The inverse method : parametric verification of real-time embedded systems

Etienne And...
20
هزار تومان
Verification of reactive systems : formal methods and algorithms

Verification of reactive systems : formal methods and algorithms

Klaus Schne...
20
هزار تومان
Scalable Techniques For Formal Verification

Scalable Techniques For Formal Verification

Sandip Ray
20
هزار تومان
Early Hollywood

Early Hollywood

Robert W. N...
20
هزار تومان
Cemeteries of Seattle

Cemeteries of Seattle

Robin Shannon
20
هزار تومان
Seattle's Green Lake

Seattle's Green Lake

Brittany Wr...
20
هزار تومان
U.S. Penitentiary Leavenworth

U.S. Penitentiary Leavenworth

Kenneth M. ...
20
هزار تومان
Aubuchon Hardware

Aubuchon Hardware

Bernard W. ...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن