مشخصات کتاب

Programming with VDM

ویرایش:  
نویسندگان: F. D. Rolland (auth.)  
سری: Macmillan Computer Science Series 
ISBN (شابک) : 9781349126941, 9781349126927 
ناشر: Macmillan Education UK 
سال نشر: 1992 
تعداد صفحات: 130 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

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

در صورت تبدیل فایل کتاب Programming with VDM به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی با VDM نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages i-viii
Formal Specification and Object-Oriented Design....Pages 1-10
Mathematical Foundations....Pages 11-20
Functions....Pages 21-30
Operations....Pages 31-41
Composite Objects....Pages 42-52
Further Structured Data Types....Pages 53-66
Specification Using Maps....Pages 67-78
A Simple Case Study....Pages 79-104
Epilogue....Pages 105-106
Back Matter....Pages 107-122

نظرات کاربران

کتاب های تصادفی

دانلود کتاب From resource allocation to strategy

دانلود کتاب We Are Our Own Liberators: Selected Prison Writings

دانلود کتاب Secular Evolution of Galaxies (Canary Islands Winter School of Astrophysics)

دانلود کتاب In the Shadow of the Great War: Physical Violence in East-Central Europe, 1917–1923

دانلود کتاب Brand Hate: Navigating Consumer Negativity in the Digital World