Formalising behavioural compatibility for reactive object-oriented systems /
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
St. Lucia, Qld. :
Key Centre for Software Technology, Dept. of Computer Science, The University of Queensland,
1990.
|
| Series: | Technical report (University of Queensland. Key Centre for Software Technology) ;
no. 163. |
| Subjects: |
CARM 1 Store
| Call Number: |
A3:AG23C0 F08227 |
|---|---|
| Copy 1 | Available Place a Hold |