Titel |
Formale Semantik des Datentypmodells von SDL-2000 / von Martin von Löwis of Menar |
|---|---|
Beteiligt |
Martin von Löwis of Menar (Verfasser) |
Erschienen |
2003 |
Umfang |
145 S. : graph. Darst. |
Hochschulschrift |
Berlin, Humboldt-Univ., Diss., 2003 (Nicht für den Austausch) |
Themengebiet |
|
Thema |
SDL-2000, Datentyp, Formale Semantik, Abstrakte Zustandsmaschine |
Andere Ausgaben |
Erscheint auch als Online-Ausgabe: Formale Semantik des Datentypmodells von SDL-2000 |
Datensatz-ID |
972010750 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: