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

خرید کتاب Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, "This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis,
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

german

تاریخ انتشار

2017

ناشر

Cham Springer International Publishing 2017

شابک

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

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

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

بدون نویسنده
20
هزار تومان
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

بدون نویسنده
20
هزار تومان
Gimp Bible

Gimp Bible

Robert Shim...
20
هزار تومان
Mit Scrum zum gewünschten System

Mit Scrum zum gewünschten System

بدون نویسنده
20
هزار تومان
Community Usability Engineering Prozesse und Werkzeuge zur In-situ Feedbackunterstützung

Community Usability Engineering Prozesse und Werkzeuge zur In-situ Feedbackunterstützung

Torben Wied...
20
هزار تومان
Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der frühen Phase der Produktentstehung

Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der frühen Phase der Produktentstehung

Matthias Zi...
20
هزار تومان
Bridging the gap between requirements engineering and software architecture a problem-oriented and quality-driven method

Bridging the gap between requirements engineering and software architecture a problem-oriented and quality-driven method

Azadeh Aleb...
20
هزار تومان
Qualitätsmanagement in agilen IT-Projekten - quo vadis? HMD Best Paper Award 2016

Qualitätsmanagement in agilen IT-Projekten - quo vadis? HMD Best Paper Award 2016

Christian B...
20
هزار تومان
Softwareentwicklung mit C++ Einführung mit Visual Studio

Softwareentwicklung mit C++ Einführung mit Visual Studio

Dieter Dusc...
20
هزار تومان
Softwareentwicklung mit C++ Einführung mit Visual Studio

Softwareentwicklung mit C++ Einführung mit Visual Studio

Dieter Dusc...
20
هزار تومان
Wechselwirkung wie Prinzipien der Software die Philosophie verändern

Wechselwirkung wie Prinzipien der Software die Philosophie verändern

Walter Hehl...
20
هزار تومان
Betriebssysteme und Echtzeit Echtzeit 2015

Betriebssysteme und Echtzeit Echtzeit 2015

Wolfgang A ...
20
هزار تومان
Fundamental approaches to software engineering 19th international conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Fundamental approaches to software engineering 19th international conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

بدون نویسنده
20
هزار تومان
Usability und UX kompakt Produkte für Menschen

Usability und UX kompakt Produkte für Menschen

Michael Ric...
20
هزار تومان
Principles of Package Design

Principles of Package Design

Matthias No...
20
هزار تومان
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV.

Tiziana Mar...
20
هزار تومان
Software Engineering Research, Management and Applications

Software Engineering Research, Management and Applications

Roger Lee; ...
20
هزار تومان
Grundkurs Java

Grundkurs Java

Dietmar Abts
20
هزار تومان
Software Due Diligence

Software Due Diligence

Christian D...
20
هزار تومان
Programmieren F�r Ingenieure Und Naturwissenschaftler

Programmieren F�r Ingenieure Und Naturwissenschaftler

Sebastian Dorn
20
هزار تومان
Sicherheitskonzepte in Der Mobilen Kommunikation

Sicherheitskonzepte in Der Mobilen Kommunikation

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

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

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

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

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

پذیرفتن