toolsa

  • زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell

    دانلود کتاب Functional programming languages for verification tools.A comparison of Standard ML and Haskell (به فارسی: زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell) نوشته شده توسط «Leucker M.» اطلاعات کتاب زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی نویسنده: Leucker M. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 11 حجم کتاب: 1 مگابایت دانلود کتاب «زبان های برنامه نویسی کاربردی برای ابزارهای تأیید. مقایسه استاندارد ML و Haskell»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان