Specification and Proof in Real Time CSP
Publisher: University of Cambridge ESOL Examinations
Published: 2012
Language: eng
Number of pages: 200
ISBN-13: 9781107403864
Subjects: Real-time data processing