Abstraction and verification in alphard A symbol table example

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: London, R. (VerfasserIn)
Weitere Verfasser: Shaw, M. (VerfasserIn), Wulf, W. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Marina del Rey, Calif. Univ. of Southern California, Information Sciences Inst. 1976
Ausgabe:[Microfiche]
Schriftenreihe:ISI/RR / Information Sciences Institut, University of Southern California 76-51
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!