Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings 1st الإصدار تمت الكتابة بواسطة Gustavo Carvalho; Volker Stolz وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783030638825, 3030638820 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030638818, 3030638812. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings 1st الإصدار تمت الكتابة بواسطة Gustavo Carvalho; Volker Stolz وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783030638825, 3030638820 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030638818, 3030638812. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.