Formalising behavioural compatibility for reactive object-oriented systems /
Saved in:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | , |
| Format: | Bog |
| Sprog: | English |
| Udgivet: |
St. Lucia, Qld. :
Key Centre for Software Technology, Dept. of Computer Science, The University of Queensland,
1990.
|
| Serier: | Technical report (University of Queensland. Key Centre for Software Technology) ;
no. 163. |
| Fag: |
| Fysisk beskrivelse: | 11 p. ; 30 cm. |
|---|---|
| Bibliografi: | Includes bibliographical references (p. 9-11) |