Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken
Autor(en): | Jackel, Manfred | Stichwörter: | Formale Spezifikationstechnik; Graph-Grammatik; Nebenläufigkeit; Ada | Erscheinungsdatum: | 1986 | Startseite: | 216 S. | Beschreibung: | Osnabrück, Univ., Diss., 1986 |
Show full item record