Towards an object-oriented refinement calculus
| Data(s) |
01/01/2004
|
|---|---|
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
The University of Queensland, School of Information Technology and Electrical Engineering |
| Palavras-Chave | #Computer programming #L #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
| Tipo |
Thesis |
