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

خرید کتاب Industrial Used of Formal Method

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Industrial Used of Formal Method

Industrial Used of Formal Method

Industrial Used of Formal Method
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Formal Verification

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Industrial Used of Formal Method
Formal Verification
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.

This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.

The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

Jean-Louis Boulanger

ناشر

Wiley-Iste

شابک

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

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

Introduction to Discrete Event Simulation and Agent-Based Modeling

Introduction to Discrete Event Simulation and Agent-Based Modeling

Theodore T....
20
هزار تومان
Solid Modelling and CAD Systems

Solid Modelling and CAD Systems

Hildegarde ...
20
هزار تومان
Safety and Risk Modeling and Its Applications

Safety and Risk Modeling and Its Applications

Hoang Pham
20
هزار تومان
Simulation

Simulation

Stewart Rob...
20
هزار تومان
An introduction to computational biochemistry

An introduction to computational biochemistry

C Stan Tsai
20
هزار تومان
Computer-aided design, manufacturing, modeling and simulation : selected, peer reviewed papers from the International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation (CDMMS 2011), September 13-16, 2011, Hangzhou, China

Computer-aided design, manufacturing, modeling and simulation : selected, peer reviewed papers from the International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation (CDMMS 2011), September 13-16, 2011, Hangzhou, China

Xingui He; ...
20
هزار تومان
Medicine Meets Virtual Reality 20

Medicine Meets Virtual Reality 20

James D. We...
20
هزار تومان
Quantum World of Ultra-Cold Atoms and Light, the - Book II

Quantum World of Ultra-Cold Atoms and Light, the - Book II

Peter Zoller
20
هزار تومان
Prototyping Essentials with Axure

Prototyping Essentials with Axure

Elizabeth A...
20
هزار تومان
Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Jack Xin; Y...
20
هزار تومان
Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Mathematical Modeling and Signal Processing in Speech and Hearing Sciences

Jack Xin; Y...
20
هزار تومان
Simulation and modeling methodologies, technologies and applications : International Conference, SIMULTECH 2012 Rome, Italy, July 28-31, 2012 : revised selected papers

Simulation and modeling methodologies, technologies and applications : International Conference, SIMULTECH 2012 Rome, Italy, July 28-31, 2012 : revised selected papers

Mohammad S ...
20
هزار تومان
Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Stuart Berr...
20
هزار تومان
Computational Methods in Systems Biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Computational Methods in Systems Biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

بدون نویسنده
20
هزار تومان
Modelling and Simulation for Autonomous Systems : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Modelling and Simulation for Autonomous Systems : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Jan Hodicky
20
هزار تومان
Heat Transfer Modeling An Inductive Approach

Heat Transfer Modeling An Inductive Approach

بدون نویسنده
20
هزار تومان
Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers

Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers

Francisco G...
20
هزار تومان
Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

بدون نویسنده
20
هزار تومان
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Mar...
20
هزار تومان
Managing Complexity : Challenges for Industrial Engineering and Operations Management

Managing Complexity : Challenges for Industrial Engineering and Operations Management

Cesáreo H...
20
هزار تومان
Guide to Computational Modelling for Decision Processes

Guide to Computational Modelling for Decision Processes

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

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

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

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

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

پذیرفتن