Specification and Proof in real- time CSP /

Saved in:

Bibliographic Details
Main Author:	Davis, Jim
Format:	Book
Language:	English
Published:	Cambridge : Press Sydicate, c1993.
Subjects:	Communicating Sequential Processes (computer Programs) Computer Programs.
Tags:	Add Tag No Tags, Be the first to tag this record!

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

Published 1993

Book