Search Results for Rattray, C. (Charles), 1938-

Limit Search Results

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2 Results Found

Subscribe to search results

1

00MAIN

Print

1.

Cover image for Specification and verification of concurrent systems

Specification and verification of concurrent systems

by

Rattray, C. (Charles), 1938-

Author

Rattray, C. (Charles), 1938-

Format:

Call Number

QA76.58 S64 1990

Publisher

Springer-Verlag,

Publication Date

1990

ISBN

9783540195818

Available:
Holds:
Copies:

2.

Cover image for Theories and experiences for real-time system development

Theories and experiences for real-time system development

by

Rus, Teodor

Author

Rus, Teodor, Rattray, C. (Charles), 1938-

Format:

Call Number

QA76.54 T43 1994

Publisher

World Scientific,

Publication Date

1994

ISBN

9789810219239

Available:
Holds:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1