Title |
Formale Semantik des Datentypmodells von SDL-2000 / von Martin von Löwis of Menar |
|---|---|
Involved |
Martin von Löwis of Menar (Verfasser) |
Published |
2003 |
Extent |
145 S. : graph. Darst. |
Thesis |
Berlin, Humboldt-Univ., Diss., 2003 (Nicht für den Austausch) |
Topic |
|
Subject |
SDL-2000, Datentyp, Formale Semantik, Abstrakte Zustandsmaschine |
Other editions |
Erscheint auch als Online-Ausgabe: Formale Semantik des Datentypmodells von SDL-2000 |
Record ID |
972010750 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: