کتاب الکترونیکی

با استفاده از Z.Specification، پالایش و اثبات

Using Z.Specification,refinement,and proof

دانلود کتاب Using Z.Specification,refinement,and proof (به فارسی: با استفاده از Z.Specification، پالایش و اثبات) نوشته شده توسط «Jim Woodcock – Jim Davies»

اطلاعات کتاب با استفاده از Z.Specification، پالایش و اثبات

موضوع اصلی: الکترونیک: رادیو

نوع: کتاب الکترونیکی

ناشر: Prentice Hall

نویسنده: Jim Woodcock – Jim Davies

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1996

تعداد صفحه: 407

حجم کتاب: 5 مگابایت

کد کتاب: 9780139484728 , 0139484728

توضیحات کتاب با استفاده از Z.Specification، پالایش و اثبات

این کتاب حاوی مطالب کافی برای سه دوره آموزشی کامل است. مقدمه ای برای دنیای منطق، مجموعه ها و روابط فراهم می کند. استفاده از Znotation را در مشخصات سیستم های واقع گرایانه توضیح می دهد. این نشان می دهد که چگونه مشخصات Z ممکن است برای تولید کد اجرایی اصلاح شوند. این در مجموعه ای از مطالعات موردی نشان داده شده است. ملزومات مشخصات، پالایش و اثبات پوشش داده شده است، تکنیک های آشکاری که قبلاً هرگز منتشر نشده بود. تمرین ها، راه حل ها و مجموعه ای از Tranparencies از طریق http://www.comlab.ox.ac.uk/usingz.html در دسترس هستند

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

دانلود کتاب «با استفاده از Z.Specification، پالایش و اثبات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان