دانلود کتاب Logic and specification: extending VDM-SL for advanced formal specification (به فارسی: منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته) نوشته شده توسط «Cornelis A. Middelburg»
اطلاعات کتاب منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Chapman & Hall
نویسنده: Cornelis A. Middelburg
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 412
حجم کتاب: 2 مگابایت
کد کتاب: 0412486806 , 9780412486807
نوبت چاپ: 1st English Language Ed
توضیحات کتاب منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته
نویسنده شرحی از مشخصات رسمی در یک محیط صنعتی ارائه می دهد. این جلد رویکرد خاصی به معناشناسی زبانهای مشخصات دارد: درک این که معنای مشخصات را میتوان به عنوان ارائه نظریههای منطقی در نظر گرفت، برای آن رویکرد اساسی است. توسعه زبان مشخصات VDM-SL معرفی شده و معنای رسمی VVSL ارائه شده است. استفاده عملی از این زبان بیشتر توسط دو مطالعه موردی دقیق نشان داده میشود که تصویری جامع از رویکرد رابطهای به پایگاههای داده ارائه میدهد و خواندن ضروری برای کسانی است که از مشخصات رسمی در توسعه نرمافزار استفاده میکنند.
دانلود کتاب «منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته»
![مبلغی که بابت خرید کتاب میپردازیم به مراتب پایینتر از هزینههایی است که در آینده بابت نخواندن آن خواهیم پرداخت.](https://blog.balyan.ir/wp-content/uploads/2023/01/Buy-books-and-build-a-good-life.jpg)