Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings 1st الإصدار تمت الكتابة بواسطة Dejan Nickovic; Maurice H. ter Beek وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783030582982, 3030582981 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030582975, 3030582973. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings 1st الإصدار تمت الكتابة بواسطة Dejan Nickovic; Maurice H. ter Beek وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783030582982, 3030582981 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030582975, 3030582973. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.