Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal | Kaicus Deutschland

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

53.49 EUR

Ein Fachbuch, das die Erkenntnisse des 19. brasilianischen Symposiums über formale Methoden zusammenführt; es beleuchtet neueste Ansätze in Modellierung, Verifikation und Analyse komplexer Softwaresysteme.

Marke: Leila Ribeiro
ISBN: 3319498142