Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verified Software. Theories, Tools and Experiments هي 9783031660641, 3031660641 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031660634, 3031660633. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Verified Software. Theories, Tools and Experiments هي 9783031660641, 3031660641 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031660634, 3031660633. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.