Structured Object-Oriented Formal Language and Method
Ein Fachband aus dem fünften SOFL+MSVL‑Workshop in Paris, der aktuelle Forschung zu formalen Methoden für objektorientierte Systeme zusammenfasst; enthält überarbeitete Beiträge zur Spezifikation, Modellierung und Verifikation komplexer Softwaresysteme.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Structured Object-Oriented Formal Language and Method
SpringerLink DE
21-04-2026 21:01:08
Gesponsert
Galaxus.de
Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu, Zhenhua Duan
Galaxus.de
21-04-2026 19:59:03
