Formal specification and verification of asynchronous processes in higher-order logic

Bibliographische Detailangaben

1. Verfasser:	Joyce, Jeffrey J. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Cambridge 1988
Schriftenreihe:	Technical report / Computer Laboratory, University of Cambridge 136
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!