Specification and Proof in real- time CSP /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Davis, Jim
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	Cambridge : Press Sydicate, c1993.
Pynciau:	Communicating Sequential Processes (computer Programs) Computer Programs.
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Specification and Proof in real- time CSP / gan Davis, Jim

Cyhoeddwyd 1993

Llyfr