Provable correctness of prototype interpreters in LDL Günter Riedewald ; Ralf Lämmel

Bibliographische Detailangaben

1. Verfasser:	Riedewald, Günter (VerfasserIn)
Weitere Verfasser:	Lämmel, Ralf (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Rostock Univ. Rostock, Fachber. Informatik 1993
Schriftenreihe:	Universität <Rostock> / Fachbereich Informatik: Preprints aus dem Fachbereich Informatik 12 = 1993,9
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!