کامپیوترها

روش توسعه وین: فرا زبان

The Vienna Development Method: The Meta-Language

دانلود کتاب The Vienna Development Method: The Meta-Language (به فارسی: روش توسعه وین: فرا زبان) نوشته شده توسط «Peter Lucas (auth.) – Dines Bjørner – Cliff B. Jones (eds.)»

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

موضوع اصلی: کامپیوترها

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Peter Lucas (auth.) – Dines Bjørner – Cliff B. Jones (eds.)

زبان: English

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

سال انتشار: 1978

تعداد صفحه: 384

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

کد کتاب: 3540087664 , 9783540087663

نوبت چاپ: 1

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

روش توسعه وین (VDM) یکی از قدیمی‌ترین روش‌های رسمی برای توسعه سیستم‌های مبتنی بر رایانه است. این آزمایشگاه که در دهه 1970 در آزمایشگاه وین[1] آی‌بی‌ام انجام شد، سرچشمه گرفت و به گروهی از تکنیک‌ها و ابزارهای مبتنی بر زبان مشخصات رسمی – زبان مشخصات VDM (VDM-SL) تبدیل شد.

he Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM’s Vienna Laboratory[1] in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language – the VDM Specification Language (VDM-SL).

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

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

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

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

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

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