Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=943313988



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/943313988
Art des Inhalts Hochschulschrift
Titel Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems / Karl-Heinz Buth. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Person(en) Buth, Karl-Heinz (Verfasser)
Verlag Kiel : Inst. für Informatik und Praktische Mathematik
Zeitliche Einordnung Erscheinungsdatum: 1994
Umfang/Format 191 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Kiel, Univ., Diss., 1994
ISBN/Einband/Preis geh.
Beziehungen Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 9414
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1994 A 71577
Bereitstellung in Frankfurt
Leipzig Signatur: 1994 A 71577
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration