Model Checking Software

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Model Checking Software هي 9783031661495, 3031661494 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031661488, 3031661486. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Model Checking Software هي 9783031661495, 3031661494 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031661488, 3031661486. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.