Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings 1st الإصدار تمت الكتابة بواسطة Mariëlle Stoelinga; ‎Ralf Pinger وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783642324697, 364232469X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642324680, 3642324681. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings 1st الإصدار تمت الكتابة بواسطة Mariëlle Stoelinga; ‎Ralf Pinger وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods for Industrial Critical Systems هي 9783642324697, 364232469X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642324680, 3642324681. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.