Algebraic specification and proof of properties of communicating sequential processes

Bibliographische Detailangaben

1. Verfasser:	Hoare, C. A. R. (VerfasserIn)
Weitere Verfasser:	Jifeng, He (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Oxford Univ. 1985
Schriftenreihe:	Technical monograph / Oxford Univ. Computing Laboratory, Programming Research Group 52
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!