Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers

Structured object-oriented formal language and method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: SOFL+MSVL (VerfasserIn), ICFEM (VerfasserIn)
Weitere Verfasser: Miao, Huaikou (HerausgeberIn), Tian, Cong (HerausgeberIn), Liu, Shaoying (HerausgeberIn), Duan, Zhenhua (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12028
Schlagworte:
Konferenzschrift > Formale Sprache > Programmiersprache
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Der SOFL+MSVL Workshop fand im Rahmen der 19. International Conference on Formal Engineering Methods (ICFEM) statt
Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:ix, 364 Seiten
Diagramme
ISBN:9783030414177
978-3-030-41417-7