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

توسعه نرم افزار رسمی: از VDM تا جاوا

Formal Software Development: From VDM to Java

دانلود کتاب Formal Software Development: From VDM to Java (به فارسی: توسعه نرم افزار رسمی: از VDM تا جاوا) نوشته شده توسط «Quentin Charatan – Aaron Kans»

اطلاعات کتاب توسعه نرم افزار رسمی: از VDM تا جاوا

موضوع اصلی: برنامه نويسي

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

ناشر: Palgrave Macmillan

نویسنده: Quentin Charatan – Aaron Kans

زبان: English

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

سال انتشار: 2003

تعداد صفحه: 253

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

کد کتاب: 0333992814 , 9780333992814 , 9780230005860

توضیحات کتاب توسعه نرم افزار رسمی: از VDM تا جاوا

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

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master’s courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.

دانلود کتاب «توسعه نرم افزار رسمی: از VDM تا جاوا»

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

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

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

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

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