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!

Athi-River Campus: Open Shelves

Holdings details from Athi-River Campus: Open Shelves
Call Number:	PE1417.A13
Barcode BK017756	Available Place a Hold