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

خرید کتاب Automated Technology for Verification and Analysis

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. This year, we received a record number of papers: a total of 137 submissions from 27 countries. Each submission was assigned to three Program Comm- tee members, who could request help from subreviewers, for rigorous and fair evaluation. The ?nal deliberation by the Program Committee was conducted through Springer s Online Conference Service for a duration of about 10 days after nearly all review reports had been collected. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers."
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2006

نویسنده

Susanne Graf

ناشر

Springer

شابک

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

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

Intelligence for embedded systems : a methodological approach

Intelligence for embedded systems : a methodological approach

Cesare Alippi
20
هزار تومان
Architecture of Computing Systems - ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

Architecture of Computing Systems - ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

بدون نویسنده
20
هزار تومان
A Critique of Nicotine Addiction

A Critique of Nicotine Addiction

Hanan Frenk
20
هزار تومان
Flow Design for Embedded Systems

Flow Design for Embedded Systems

Kauler
20
هزار تومان
System Level Design Techniques For Energy Efficient Embedded Systems

System Level Design Techniques For Energy Efficient Embedded Systems

Petru Eles
20
هزار تومان
Formal Methods for Embedded Distributed Systems

Formal Methods for Embedded Distributed Systems

Fabrice Kordon
20
هزار تومان
Embedded Software Design And Programming Of Multiprocessor System On Chip

Embedded Software Design And Programming Of Multiprocessor System On Chip

Marilyn Wolf
20
هزار تومان
Embedded Computer Vision

Embedded Computer Vision

Sameer Singh
20
هزار تومان
Embedded Computer Vision

Embedded Computer Vision

Sameer Singh
20
هزار تومان
Linux Hardware Hackz. Messen, Steuern und Sensorik mit Linux

Linux Hardware Hackz. Messen, Steuern und Sensorik mit Linux

Jürgen Plate
20
هزار تومان
Design concepts for a virtualizable embedded MPSoC architecture enabling virtualization in embedded multi-processor systems

Design concepts for a virtualizable embedded MPSoC architecture enabling virtualization in embedded multi-processor systems

Alexander B...
20
هزار تومان
Platzierung von Softwarekomponenten auf Mehrkernprozessoren automatisierte Konstruktion und Analyse für funktionssichere Systeme

Platzierung von Softwarekomponenten auf Mehrkernprozessoren automatisierte Konstruktion und Analyse für funktionssichere Systeme

Robert Hilb...
20
هزار تومان
Real-Time Embedded Systems

Real-Time Embedded Systems

Jiacun Wang
20
هزار تومان
Embedded Operating Systems

Embedded Operating Systems

Chi-Yu Huang
20
هزار تومان
Architecture of Computing Systems - ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

Architecture of Computing Systems - ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

بدون نویسنده
20
هزار تومان
Scalable and Near-Optimal Design Space Exploration for Embedded Systems

Scalable and Near-Optimal Design Space Exploration for Embedded Systems

Angeliki Kr...
20
هزار تومان
Trustworthy Reconfigurable Systems

Trustworthy Reconfigurable Systems

Thomas Feller
20
هزار تومان
Cryptographic Hardware and Embedded Systems -- Ches 2014

Cryptographic Hardware and Embedded Systems -- Ches 2014

Matthew Rob...
20
هزار تومان
Collaborative Systems for Smart Networked Environments

Collaborative Systems for Smart Networked Environments

Hamideh Afs...
20
هزار تومان
Collaborative Design for Embedded Systems

Collaborative Design for Embedded Systems

Marcel Verhoef
20
هزار تومان
Entwicklung Eingebetteter Systeme

Entwicklung Eingebetteter Systeme

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

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

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

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

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

پذیرفتن