ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Automated theorem proving in software engineering

دانلود کتاب قضیه خودکار اثبات شده در مهندسی نرم افزار

Automated theorem proving in software engineering

مشخصات کتاب

Automated theorem proving in software engineering

ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 3540679898, 9783642087592 
ناشر: Springer 
سال نشر: 2001 
تعداد صفحات: 244 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 44,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Automated theorem proving in software engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قضیه خودکار اثبات شده در مهندسی نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قضیه خودکار اثبات شده در مهندسی نرم افزار

اینها مجموعه مقالات کنفرانس تئوری کدگذاری، رمزنگاری و نظریه اعداد است که در آکادمی نیروی دریایی ایالات متحده در 25 تا 26 اکتبر 1998 برگزار شد. این کتاب به جنبه های ابتدایی و پیشرفته نظریه کدگذاری و رمزنگاری می پردازد. مشارکت های نظریه کدگذاری بیشتر با نظریه کدگذاری جبری سروکار دارد. برخی از این مقالات توضیحی هستند، در حالی که برخی دیگر نتیجه تحقیقات اصلی هستند. تاکید بر کدهای هندسی گوپا است، اما مقاله ای نیز در مورد کدهای ناشی از ساختارهای ترکیبی وجود دارد. هر دو مقاله تاریخی و ریاضی در زمینه رمزنگاری وجود دارد. تعدادی از مشارکت‌های مربوط به رمزنگاری، کار بریتانیا و متحدانشان را در طول جنگ جهانی دوم برای شکستن رمزهای آلمانی و ژاپنی توصیف می‌کنند. برخی از جنبه های ریاضی ماشین روتور انیگما و تحقیقات جدیدتر در مورد رمزنگاری کوانتومی توضیح داده شده است. علاوه بر این، دو مقاله در مورد سیستم رمزنگاری RSA و مسائل مربوط به نظریه اعداد وجود دارد. - 6. مطالعات موردی -- 7. تکنیک های خاص برای کاربردهای ATP -- 8. نتیجه گیری


توضیحاتی درمورد کتاب به خارجی

These are the proceedings of the Conference on Coding Theory, Cryptography, and Number Theory held at the U.S. Naval Academy during October 25-26, 1998. This book concerns elementary and advanced aspects of coding theory and cryptography. The coding theory contributions deal mostly with algebraic coding theory. Some of these papers are expository, whereas others are the result of original research. The emphasis is on geometric Goppa codes, but there is also a paper on codes arising from combinatorial constructions. There are both, historical and mathematical papers on cryptography. Several of the contributions on cryptography describe the work done by the British and their allies during World War II to crack the German and Japanese ciphers. Some mathematical aspects of the Enigma rotor machine and more recent research on quantum cryptography are described. Moreover, there are two papers concerned with the RSA cryptosystem and related number-theoretic issues 1. Introduction -- 2. Formal Methods in Software Engineering -- 3. Processing of Logic -- 4. Characteristics of Proof Tasks -- 5. Requirements -- 6. Case Studies -- 7. Specific Techniques for ATP Applications -- 8. Conclusions





نظرات کاربران