Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783319294735, 3319294733 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319294728, 3319294725. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Formal Methods: Foundations and Applications هي 9783319294735, 3319294733 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783319294728, 3319294725. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.