correctness
همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور
دانلود کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (به فارسی: همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور) نوشته شده توسط «Dennis Dams – Ulrich Hannemann (auth.) – Dennis Dams – Ulrich Hannemann – Martin Steffen (eds.)» اطلاعات کتاب همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: Dennis Dams – Ulrich Hannemann (auth.) – Dennis Dams – Ulrich Hannemann – Martin Steffen (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 377p.…
معماری کامپیوتر، پیچیدگی و درستی
دانلود کتاب Computer Architecture, Complexity and Correctness (به فارسی: معماری کامپیوتر، پیچیدگی و درستی) نوشته شده توسط «Silvia M. Mueller – Wolfgang J. Paul» اطلاعات کتاب معماری کامپیوتر، پیچیدگی و درستی موضوع اصلی: علمی-محبوب نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Silvia M. Mueller – Wolfgang J. Paul زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 565 حجم کتاب: 3 مگابایت کد کتاب: 9783642086915 , 3642086918 نوبت چاپ: 1st Edition. توضیحات کتاب معماری کامپیوتر، پیچیدگی و درستی صحت سخت افزار در طراحی سیستم های کامپیوتری اهمیت بیشتری پیدا می کند. نویسندگان یک رویکرد…
درستی تعریف عملگر PD
دانلود کتاب Correctness of the definition of a PD operator (به فارسی: درستی تعریف عملگر PD) اطلاعات کتاب درستی تعریف عملگر PD موضوع اصلی: تئوری اپراتور نوع: کتاب الکترونیکی زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 3 حجم کتاب: 1 مگابایت دانلود کتاب «درستی تعریف عملگر PD»
درستی تعریف عملگر PD
دانلود کتاب Correctness of the definition of a PD operator (به فارسی: درستی تعریف عملگر PD) نوشته شده توسط «Clark G. L.» اطلاعات کتاب درستی تعریف عملگر PD موضوع اصلی: تئوری اپراتور نوع: کتاب الکترونیکی نویسنده: Clark G. L. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1929 تعداد صفحه: 8 حجم کتاب: 2 مگابایت دانلود کتاب «درستی تعریف عملگر PD»
صحت رسمی پروتکل های امنیتی
دانلود کتاب Formal Correctness of Security Protocols (به فارسی: صحت رسمی پروتکل های امنیتی) نوشته شده توسط «Giampaolo Bella» اطلاعات کتاب صحت رسمی پروتکل های امنیتی موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Giampaolo Bella زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 274 حجم کتاب: 5 مگابایت کد کتاب: 3540681345 , 978-3-540-68134-2 توضیحات کتاب صحت رسمی پروتکل های امنیتی امنیت شبکه کامپیوتری برای پیشگیری از تقلب و پاسخگویی بسیار مهم است. شرکت‌کنندگان شبکه ملزم به رعایت مراحل از پیش تعریف‌شده به نام پروتکل‌های امنیتی هستند، که اثبات صحت آن‌ها…
خطا در نرم افزار رایگان: دانش و دانش درستی برنامه
دانلود کتاب Error Free Software: Know-how and Know-why of Program Correctness (به فارسی: خطا در نرم افزار رایگان: دانش و دانش درستی برنامه) نوشته شده توسط «Robert Laurence Baber» اطلاعات کتاب خطا در نرم افزار رایگان: دانش و دانش درستی برنامه موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: John Wiley & Sons Inc نویسنده: Robert Laurence Baber زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1991 تعداد صفحه: 88 حجم کتاب: 57 مگابایت کد کتاب: 9780471930167 , 0471930164 توضیحات کتاب خطا در نرم افزار رایگان: دانش و دانش درستی برنامه فشار برای تولید نرم‌افزار…
تایید رسمی صحت سخت افزار
دانلود کتاب Formal verification of hardware correctness (به فارسی: تایید رسمی صحت سخت افزار) نوشته شده توسط «Camurati P. – Prinetto P.» اطلاعات کتاب تایید رسمی صحت سخت افزار موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Camurati P. – Prinetto P. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1988 تعداد صفحه: 12 حجم کتاب: 2 مگابایت دانلود کتاب «تایید رسمی صحت سخت افزار»