Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... Notes in Computer Science, Band 11392)
Das Buch sammelt die Ergebnisse des achten SOFL+MSVL‑Workshops, untersucht formale Beschreibungen für objektorientierte Systeme und zeigt praxisnah ...