Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

صورة الغلاف: Critical Systems: Formal Methods and Automated Verification 9783319671123
إيجار كتاب دراسي إلكتروني أو شراؤه
﷼‎71.17 SAR

أول قارئ للكتب الدراسية الإلكترونية للطلاب. يُعد موقع VitalSource الموقع الرائد في مجال تقديم الكتب الدراسية والمواد التدريبية على الإنترنت. إذ استعان ما يزيد عن 15 مليون مستخدم بمنصة Bookshelf خلال السنة الماضية لتحسين تجربة التعلم وأهدافه. فمن خلال إمكانية الوصول لهذه المنصة أينما كنت ووقتما شئت فضلًا عن الأدوات المتضمنة مثل أدوات التمييز، والبطاقات التعليمية، والمجموعات الدراسية، أصبح من السهل معرفة سبب استعانة الكثير من الطلاب بالمنصة الرقمية Bookshelf.

  • هناك ما يزيد عن مليون كتاب لأكثر من 1,000 ناشر

  • هناك ما يزيد عن 60,000 مراجعة قام به العملاء بمتوسط تقييم يصل إلى 9.5

  • هناك ما يزيد عن 3 مليارات صفحة رقمية تم الاطلاع عليها على مدار 12 شهرًا الماضية

  • هناك ما يزيد عن 7,000 معهد استعان بـ Bookshelf على مستوى 241 دولة