Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 1st الإصدار تمت الكتابة بواسطة Kim G. Larsen; ‎Peter Niebert وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Modeling and Analysis of Timed Systems هي 9783540409038, 3540409033 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540216711, 3540216715. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 1st الإصدار تمت الكتابة بواسطة Kim G. Larsen; ‎Peter Niebert وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Modeling and Analysis of Timed Systems هي 9783540409038, 3540409033 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540216711, 3540216715. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.