Bibliographic Information

Concurrent systems : formal development in CSP

Michael G. Hinchey and Stephen A. Jarvis

(The McGraw-Hill international series in software engineering)

McGraw-Hill, c1995

Available at  / 6 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 165-176) and index

Related Books: 1-1 of 1

Details

Page Top