Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st الإصدار تمت الكتابة بواسطة Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theoretical and Practical Aspects of SPIN Model Checking هي 9783540482345, 3540482342 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540664994, 3540664998. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st الإصدار تمت الكتابة بواسطة Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Theoretical and Practical Aspects of SPIN Model Checking هي 9783540482345, 3540482342 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540664994, 3540664998. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.