Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)

Ein Fachbuch, das die Ergebnisse des 19. brasilianischen Symposiums über formale Methoden zusammenfasst; es beleuchtet neueste Ansätze in Modellieru ...

Allgemein

Marke
Leila Ribeiro
ISBN
Leila Ribeiro 3319498142

Eigenschaften

Menü