Specification and proof in real-time csp

Zugl.: Oxford, Univ., Diss., 1991

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Davies, Jim (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge Cambridge Univ. Pr. 1993
Ausgabe:	1. publ.
Schriftenreihe:	Distinguished dissertations in computer science
Schlagworte:	Real-time data processing > CSP > Echtzeitsystem > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!