مجله علمی تفریحی بیبیس
0

دانلود کتاب روش های رسمی برای مهندسی نرم افزار

بازدید 1353
  • عنوان کتاب: Formal Methods for Software Engineering
  • نویسنده: Markus Roggenbach, Antonio Cerone
  • حوزه: مهندسی نرم افزار
  • سال انتشار: 2022
  • تعداد صفحه: 537
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 6.45 مگابایت

این کتاب به سه فصل تقسیم شده است تا به صورت خطی به موضوعات تا حدی که نیاز داریم بپردازد. اما شایان ذکر است که این کتاب به مرور زمان دستخوش تغییرات ساختاری خواهد شد تا درک محتوای آن بهبود یابد و تعامل خوبی با خواننده حاصل شود. تمام کدهایی که در این کتاب خواهیم دید با استفاده از ویرایشگر کد ویژوال استودیو تست شده و در Unity برای انواع مختلف Render Pipeline بررسی شده است.

The book is divided into three chapters to linearly address the topics to the extent that we need to; however, it is worth mentioning that this book will be subject to structural changes over time to improve the understanding of its content and achieve a good interaction with the reader. All the code we will see in this book has been tested using the Visual Studio Code editor and checked in Unity for the different types of Render Pipeline.

این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:

Download: Formal Methods for Software Engineering

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

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید