Temporal-logic theorem proving

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Abadi, Martín (VerfasserIn)
Format: UnknownFormat
Veröffentlicht: Stanford, Calif. 1987
Schriftenreihe:Technical Report. Computer Science Department, School of Humanities and Sciences, Stanford University. STAN-CS 87-1151
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Stanford/Calif., Univ., Dept. of Computer Science, Diss. 1987
Beschreibung:IX,161 S