• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st الإصدار

  • المؤلف (المؤلفون) Supratik Chakraborty; ‎Jorge A. Navas
  • الناشر نشر بواسطة Springer حقوق الطبع والنشر © 2020
  • "ISBN-13 9783030415990"
  • شكل تنسيق قابل للتنسيق التلقائي

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎71.21 SAR
‌
‌

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

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

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

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

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

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

  • بحث عام

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

أعرف المزيد

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Supratik Chakraborty; ‎Jorge A. Navas وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verified Software. Theories, Tools, and Experiments هي 9783030416003, 3030416003 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030415990, 3030415996. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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