• التعليم وحلول الأعمال يفتح في نافذة جديدة

Logic-Based Program Synthesis and Transformation 1st الإصدار
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

صورة الغلاف: Logic-Based Program Synthesis and Transformation 1st edition 9783030452599
  • المؤلف (المؤلفون)
    Maurizio Gabbrielli
  • الناشر
    Springer
  • شكل
    تنسيق قابل للتنسيق التلقائي
  • Print ISBN 9783030452599, 303045259X
  • eText ISBN 9783030452605, 3030452603
  • الإصدار
    1st
  • حقوق الطبع والنشر
    2020
ترخيص eTextbook
‌‌
﷼‎71.18 SAR
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

VitalSource أكثر من 25 عامًا من التحول الرقمي

  • 4500 المعاهد

  • أكثر من 230 البلدان والأقاليم

  • أكثر من 10 آلاف الناشرون

  • أكثر من 18 مليون المستخدمون النشطون

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Maurizio Gabbrielli وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783030452605, 3030452603 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030452599, 303045259X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى