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!

Nairobi Campus: Open Shelves

Holdings details from Nairobi Campus: Open Shelves
Call Number:	QA 76.6.D38
Barcode BK038333	Available Place a Hold