An interactive program verifier

Zugl.: Berkeley, Calif., Univ., Diss., 1973

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Deutsch, L. Peter (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Palo Alto, Calif. XEROX Palo Alto Research Center 1976
Ausgabe:Reprinted
Schriftenreihe:CSL / XEROX Palo Alto Research Center 73,1
Schlagworte:
Hochschulschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Berkeley, Calif., Univ., Diss., 1973
Beschreibung:Getr. Zählung