Concurrent systems formal development in CSP
Saved in:
Main Author: | Hinchey, Michael Gerard l969- |
---|---|
Other Authors: | Jarvis, Stephen A. 1970- |
Format: | Book |
Published: |
London
McGraw-Hill
1995
|
Series: | McGraw-Hill international series in software engineering
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Concurrent systems an integrated approach to operating systems, database and distributed systems
by: Bacon, Jean 1942-
Published: (1993) -
Specification and design of concurrent systems
by: Mett, Percy l945-
Published: (1994) -
Understanding concurrent systems
by: Roscoe, A. W.
Published: (2010) -
Solving problems on concurrent processors
Published: (1988) -
Concurrency control and recovery in database systems
by: Bernstein, Philip A
Published: (1987)