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 ...