Using recursive types to reason about hardware in higher order logic

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Melham, Thomas F. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge 1988
Schriftenreihe:	Computer Laboratory <Cambridge>: Technical report 135
Schlagworte:	Computer hardware Information theory Datenverarbeitung Electronic data processing Logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge