Specification and proof in real-time systems

Zugl.: Oxford, Univ., Diss. 1991

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Davies, Jim (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Oxford Univ. Computing Laboratory 1991
Schriftenreihe:	Technical monograph. Programming Research Group, Oxford University Computing Laboratory 93
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!