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

Formal Methods for Hardware Verification 1st الإصدار
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

  • المؤلف (المؤلفون)
    Marco Bernardo; ‎Alessandro Cimatti
  • الناشر
    Springer
  • شكل
    التنسيق ثابت
  • Print ISBN 9783540343042, 3540343040
  • eText ISBN 9783540343059, 3540343059
  • الإصدار
    1st
  • حقوق الطبع والنشر
    2006
إيجار كتاب دراسي إلكتروني أو شراؤه
‌‌
﷼‎71.16 SAR
‌

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

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

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

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

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

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures 1st الإصدار تمت الكتابة بواسطة Marco Bernardo; ‎Alessandro Cimatti وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Hardware Verification هي 9783540343059, 3540343059 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540343042, 3540343040. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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