Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783319194585, 3319194585 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319194578, 3319194577. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings تمت الكتابة بواسطة Author وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783319194585, 3319194585 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319194578, 3319194577. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.