25 Years of Model Checking

25 Years of Model Checking: History, Achievements, Perspectives 1st الإصدار تمت الكتابة بواسطة Orna Grumberg; ‎Helmut Veith وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ 25 Years of Model Checking هي 9783540698500, 3540698507 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540698494, 3540698493. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

25 Years of Model Checking: History, Achievements, Perspectives 1st الإصدار تمت الكتابة بواسطة Orna Grumberg; ‎Helmut Veith وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ 25 Years of Model Checking هي 9783540698500, 3540698507 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540698494, 3540698493. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.