Specification And Proof In Real Time Csp

Davies, Jim

Specification And Proof In Real Time Csp Jim Davies - Cambridge Cambridge university press 1993 - ix, 180 p. 26 cm.

Includes index

9780521450553


real-time data processing

004.33 / DAV

Find us on the map