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

خرید کتاب Leveraging Applications of Formal Methods, Verification and Validation

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

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 Proceedings
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13 15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems."
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2008

نویسنده

Bernhard Steffen

ناشر

Springer

شابک

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

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

Metadata and semantics research : 7th International Conference, MSTR 2013, Thessaloniki, Greece, November 19-22, 2013, proceedings

Metadata and semantics research : 7th International Conference, MSTR 2013, Thessaloniki, Greece, November 19-22, 2013, proceedings

Emmanouel G...
20
هزار تومان
Trends in mobile web information systems : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-29, 2013 : revised selected papers

Trends in mobile web information systems : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-29, 2013 : revised selected papers

Maristella ...
20
هزار تومان
Worldwide commonalities and challenges in information literacy research and practice : European Conference on Information Literacy, ECIL 2013, Istanbul, Turkey, October 22-25, 2013, revised selected papers.

Worldwide commonalities and challenges in information literacy research and practice : European Conference on Information Literacy, ECIL 2013, Istanbul, Turkey, October 22-25, 2013, revised selected papers.

Serap Kurba...
20
هزار تومان
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Tristan Caz...
20
هزار تومان
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers

Julian M Ku...
20
هزار تومان
Advances in artificial life and evolutionary computation : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised selected papers

Advances in artificial life and evolutionary computation : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised selected papers

Clara
20
هزار تومان
Software process improvement and capability determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings

Software process improvement and capability determination : 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014, Proceedings

بدون نویسنده
20
هزار تومان
Information and communication technologies in education, research, and industrial applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Information and communication technologies in education, research, and industrial applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers

Vadim Ermol...
20
هزار تومان
Mobile as a mainstream-- towards future challenges in mobile learning : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014, Proceedings

Mobile as a mainstream-- towards future challenges in mobile learning : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014, Proceedings

Marco Kalz;...
20
هزار تومان
Advanced machine learning technologies and applications : second international conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014, proceedings

Advanced machine learning technologies and applications : second international conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014, proceedings

Aboul Ella ...
20
هزار تومان
Information technologies and mathematical modelling : 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Information technologies and mathematical modelling : 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Alexander D...
20
هزار تومان
Metadata and Semantics Research : 8th Research Conference, Mtsr 2014, Karlsruhe, Germany November 27-29, 2014 Proceedings

Metadata and Semantics Research : 8th Research Conference, Mtsr 2014, Karlsruhe, Germany November 27-29, 2014 Proceedings

Sissi Closs...
20
هزار تومان
Design science : perspectives from Europe. European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, revised selected papers

Design science : perspectives from Europe. European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, revised selected papers

Markus Helf...
20
هزار تومان
Tools of transport telematics : 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015 : selected papers

Tools of transport telematics : 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015 : selected papers

Jerzy Mikulski
20
هزار تومان
Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

Giedre Dreg...
20
هزار تومان
Advances in Social Computing and Multiagent Systems 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4.

Advances in Social Computing and Multiagent Systems 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4.

Christian G...
20
هزار تومان
Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

بدون نویسنده
20
هزار تومان
Digital libraries: supporting open science : 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31-February 1, 2019 : proceedings

Digital libraries: supporting open science : 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31-February 1, 2019 : proceedings

بدون نویسنده
20
هزار تومان
Social Media Processing : 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

Social Media Processing : 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

Xichun Zhan...
20
هزار تومان
Social computing. Part I second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings

Social computing. Part I second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings

Wanxiang Ch...
20
هزار تومان
Social computing : second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings. Part II

Social computing : second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings. Part II

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

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

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

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

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

پذیرفتن