Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings 1st الإصدار تمت الكتابة بواسطة Holger Hermanns; Roberto Segala وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Process Algebra and Probabilistic Methods: Performance Modeling and Verification هي 9783540456056, 3540456058 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540439134, 3540439137. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings 1st الإصدار تمت الكتابة بواسطة Holger Hermanns; Roberto Segala وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Process Algebra and Probabilistic Methods: Performance Modeling and Verification هي 9783540456056, 3540456058 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540439134, 3540439137. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.