Formal Methods

نمایش همه 9 نتیجهمرتب‌سازی بر اساس جدیدترین

مرتب‌سازی بر اساس محبوبیت مرتب‌سازی بر اساس امتیاز مرتب‌سازی بر اساس جدیدترین مرتب‌سازی بر اساس ارزانترین مرتب‌سازی بر اساس گرانترین

• هر قسط 497,500 تومان

  هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  روش‌های صوری در توسعه نرم‌افزار

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

  امتیاز 0 از 5

  1,990,000 تومان افزودن به سبد خرید
• هر قسط 497,500 تومان

  هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 497,500 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  روش‌های صوری در مهندسی نرم‌افزار

  دوره طراحی و اعتبارسنجی برنامه های کاربردی با روش های صوری به همراه فلش کارت بر روی فلش مموری

  امتیاز 0 از 5

  1,990,000 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  دوره‌های آموزشی

  کتاب توسعه نرم‌افزار دقیق: اصول و تکنیک‌های اثبات‌شده از Rigorous Software Development

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  دوره‌های آموزشی

  کتاب تسلط بر برنامه‌نویسی موازی: طراحی و پیاده‌سازی سیستم‌های چندپردازنده‌ای با رویکرد شبکه‌های پتری پیشرفته

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  اعتبارسنجی و تضمین ایمنی سیستم‌های پویا

  کتاب فراتر از شبیه‌سازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  تکنیک‌های توسعه جبری

  کتاب ترندهای نوین در تکنیک‌های توسعه جبری: بررسی WADT 2004

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  الگوهای طراحی و روش‌های رسمی

  کتاب از الگو تا اثبات: تکنیک‌های رسمی‌سازی الگوهای طراحی برای مهندسی نرم‌افزار دقیق

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  دوره‌های آموزشی

  کتاب علم برنامه‌نویسی: طراحی الگوریتم‌های صحیح و قابل اثبات

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید
• هر قسط 62,488 تومان

  هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   هر قسط 62,488 تومان•خرید قسطی با ترب‌پی بدون کارمزد   

  افزودن به سبد خرید
  arXiv

  مقاله به سوی مدل‌های هم‌استقرایی برای درک زبان طبیعی: پیوند یادگیری عمیق و معناشناسی عمیق به همراه PDF فارسی + پادکست صوتی فارسی + ویدیو آموزشی فارسی

  امتیاز 0 از 5

  249,950 تومان افزودن به سبد خرید