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

خرید کتاب Formal Methods and Software Engineering

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Formal Methods and Software Engineering

Formal Methods and Software Engineering

Formal Methods and Software Engineering
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2018

نویسنده

Meng Sun

ناشر

Springer

شابک

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

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

Distributed Computing with Go

Distributed Computing with Go

V.N. Nikhil...
20
هزار تومان
NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Clark Barre...
20
هزار تومان
Genetic programming theory and practice XII

Genetic programming theory and practice XII

Rick Riolo;...
20
هزار تومان
Certified OpenStack Administrator study guide

Certified OpenStack Administrator study guide

Andrey Mark...
20
هزار تومان
Beginning Ubuntu for Windows and Mac users

Beginning Ubuntu for Windows and Mac users

Nathan Haines
20
هزار تومان
Pro Hadoop Data Analytics

Pro Hadoop Data Analytics

Kerry Koitzsch
20
هزار تومان
Agents and Artificial Intelligence

Agents and Artificial Intelligence

Joaquim Filipe
20
هزار تومان
Formal Methods and Software Engineering

Formal Methods and Software Engineering

Meng Sun
20
هزار تومان
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

J
20
هزار تومان
Membrane Computing

Membrane Computing

Marian Gheo...
20
هزار تومان
Java �ben Mit Dem Plotter

Java �ben Mit Dem Plotter

Stephan Euler
20
هزار تومان
Java 9 Revealed

Java 9 Revealed

Kishori Sharan
20
هزار تومان
Web applications with Elm : functional programming for the Web

Web applications with Elm : functional programming for the Web

Wolfgang Loder
20
هزار تومان
Introducing the MySQL 8 Document Store

Introducing the MySQL 8 Document Store

Charles Bell
20
هزار تومان
Practical Free Alternatives to Commercial Software

Practical Free Alternatives to Commercial Software

Steve Oualline
20
هزار تومان
Pyspark Recipes

Pyspark Recipes

Raju Kumar ...
20
هزار تومان
Practical Machine Learning with Python

Practical Machine Learning with Python

Dipanjan Sa...
20
هزار تومان
Advanced Audio Visualization Using Thmad

Advanced Audio Visualization Using Thmad

Peter Spath
20
هزار تومان
Applied Analytics through Case Studies Using SAS and R

Applied Analytics through Case Studies Using SAS and R

Deepti Gupta
20
هزار تومان
Beginning Modern Unix

Beginning Modern Unix

Manish Jain
20
هزار تومان
Beginning Modern Unix

Beginning Modern Unix

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

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

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

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

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

پذیرفتن