کتاب Program Proofs اثر K. Rustan M. Leino انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
برنامه Proofs به دانش‌آموزان نشان می‌دهد که منظور از نوشتن مشخصات برنامه‌ها چیست، برای برنامه‌هایی که این مشخصات را برآورده می‌کنند، و نحوه نوشتن اثبات‌هایی که مشخصات و برنامه‌ها را به هم متصل می‌کنند به چه معناست. K. Rustan M. Leino که با وضوح و طنز می نویسد، ابتدا یک مرور کلی از نظریه اساسی پشت استدلال در مورد برنامه ها ارائه می دهد. سپس او به تدریج مفاهیم و برنامه های پیچیده را ایجاد می کند، تا زمانی که دانش آموزان با برنامه های واقعی با استفاده از اشیاء، ساختارهای داده، و بازگشت غیر ضروری روبرو شوند. برای تاکید بر ماهیت عملی اثبات های برنامه، همه مطالب و نمونه ها از زبان برنامه نویسی Dafny استفاده می کنند، اما هیچ دانش قبلی از Dafny فرض نمی شود.
نویسنده
K. Rustan M. Leino
ناشر
مؤلفین طلایی
موضوع
کامپیوتر
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
496
