Abstraction and verification in alphard A symbol table example

Bibliographische Detailangaben

1. Verfasser:	London, Ralph L. (VerfasserIn)
Weitere Verfasser:	Shaw, Mary (VerfasserIn), Wulf, Wm. A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Pittsburgh, Pennsylvania Carnegie-Mellon University, Department of Computer Science 1976
Schriftenreihe:	Reports / CARNEGIE-MELLON UNIV
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!