Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 201
77,83 €
Subtitle 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings. - Specification and modeling languages. - Theoretical foundations. - Verification and validation. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions.
Jetzt bei Ebay:
