vdm
توسعه نرم افزار رسمی: از VDM تا جاوا
دانلود کتاب 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 تا جاوا این متن مهندسی نرم افزار با سرعت ملایم بر…
منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته
دانلود کتاب 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
دانلود کتاب The VDM-SL Reference Guide (به فارسی: راهنمای مرجع VDM-SL) نوشته شده توسط «John Dawes» اطلاعات کتاب راهنمای مرجع VDM-SL موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: CRC Press نویسنده: John Dawes زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1991 تعداد صفحه: 200 حجم کتاب: 1 مگابایت کد کتاب: 0-273-03151-1 , 0-580-12530-0 , 9780273031512 نوبت چاپ: 1 توضیحات کتاب راهنمای مرجع VDM-SL خوانندگان فقط از برنامه نویسان تشکیل نمی شوند. همچنین برای طراحان سیستم، مشتریانی که مایل به مشخص کردن نیازهای خود هستند، برای ارزیابان سیستم ها، و برای مدرسان و دانشجویان مهندسی…