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

Tools and Algorithms for the Construction and Analysis of Systems 1st الإصدار
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

صورة الغلاف: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783540672821
  • المؤلف (المؤلفون)
    Graf Susanne; Schwartzbach Michae
  • الناشر
    Springer
  • شكل
    التنسيق المحدد
  • Print ISBN 9783540672821, 3540672826
  • eText ISBN 9783540464198, 3540464190
  • الإصدار
    1st
  • حقوق الطبع والنشر
    2000
إيجار كتاب دراسي إلكتروني أو شراؤه
‌‌
﷼‎128.35 SAR
‌

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

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

  • 4500 المعاهد

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings 1st الإصدار تمت الكتابة بواسطة Graf Susanne; Schwartzbach Michae وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Tools and Algorithms for the Construction and Analysis of Systems هي 9783540464198, 3540464190 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540672821, 3540672826. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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