Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures 1st الإصدار تمت الكتابة بواسطة Franck Cassez; Claude Jard; Brigitte Rozoy وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Modeling and Verification of Parallel Processes هي 9783540455103, 3540455108 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540427872, 3540427872. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures 1st الإصدار تمت الكتابة بواسطة Franck Cassez; Claude Jard; Brigitte Rozoy وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Modeling and Verification of Parallel Processes هي 9783540455103, 3540455108 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540427872, 3540427872. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.