مشخصات کتاب

Automated theorem proving in software engineering

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

در صورت تبدیل فایل کتاب 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

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

کتاب های تصادفی

دانلود کتاب Microsoft SQL Server 2012 Security Cookbook

دانلود کتاب Home Improvement All-in-One For Dummies: Eight Books in One

دانلود کتاب Atmospheric Turbulence, Meteorological Modeling and Aerodynamics

دانلود کتاب Failure Criteria in Fibre-Reinforced-Polymer Composites. The World-Wide Failure Exercise

دانلود کتاب Open Water Diver, Manual, PADI (italiano)