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

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

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

Software Engineering and Formal Methods

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

Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, UK, September 7-8, 2015. Revised Selected Papers

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Software Engineering and Formal Methods
Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, UK, September 7-8, 2015. Revised Selected Papers

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed and
selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;
MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2016

نویسنده

Bernhard Rumpe

ناشر

Springer

شابک

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

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

Material selections by a hybrid multi-criteria approach

Material selections by a hybrid multi-criteria approach

بدون نویسنده
20
هزار تومان
Selected areas in cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014 : revised selected papers

Selected areas in cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014 : revised selected papers

Antoine Jou...
20
هزار تومان
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

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

Genetic programming theory and practice XII

Rick Riolo;...
20
هزار تومان
Augmented Environments for Computer-Assisted Interventions 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings

Augmented Environments for Computer-Assisted Interventions 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings

Cristian A ...
20
هزار تومان
Atmospheric and Space Flight Dynamics

Atmospheric and Space Flight Dynamics

Ashish Tewari
20
هزار تومان
Algorithms and Theory of Computation Handbook

Algorithms and Theory of Computation Handbook

Mikhail J. ...
20
هزار تومان
Combinatorics For Computer Science

Combinatorics For Computer Science

S. Gill Wil...
20
هزار تومان
Photonic Crystal Fibers

Photonic Crystal Fibers

Federica Poli
20
هزار تومان
Mechanical Design Optimization Using Advanced Optimization Techniques

Mechanical Design Optimization Using Advanced Optimization Techniques

Vimal J. Sa...
20
هزار تومان
Exact Analysis of Discrete Data

Exact Analysis of Discrete Data

Karim F. Hirji
20
هزار تومان
Simulationbased Algorithms for Markov Decision Processes

Simulationbased Algorithms for Markov Decision Processes

Hyeong Soo ...
20
هزار تومان
Simulation-Based Algorithms for Markov Decision Processes

Simulation-Based Algorithms for Markov Decision Processes

Hyeong Soo ...
20
هزار تومان
Automatic Sequences (De Gruyter Expositions In Mathematics, 36)

Automatic Sequences (De Gruyter Expositions In Mathematics, 36)

Friedrich V...
20
هزار تومان
Polynomial Algorithms in Computer Algebra

Polynomial Algorithms in Computer Algebra

Franz Winkler
20
هزار تومان
Graphs, networks, and algorithms

Graphs, networks, and algorithms

D Jungnickel
20
هزار تومان
Algorithms for sensor systems : 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised selected papers

Algorithms for sensor systems : 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised selected papers

Jie Gao; Al...
20
هزار تومان
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Magnús M ...
20
هزار تومان
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI Selected Papers from DaWaK 2012

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI Selected Papers from DaWaK 2012

Abdelkader ...
20
هزار تومان
Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings

Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings

Tim Güney...
20
هزار تومان
Clustering High--Dimensional Data First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers

Clustering High--Dimensional Data First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers

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

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

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

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

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

پذیرفتن