Formal methods applied to component-based systems
| Data(s) |
2000
|
|---|---|
| Identificador | |
| Publicador |
Queensland University of Technology |
| Relação |
Ibrahim, Rosziati (2000) Formal methods applied to component-based systems. PhD thesis, Queensland University of Technology. |
| Direitos |
Copyright Rosziati Ibrahim |
| Palavras-Chave | #Object-oriented programming (Computer science) #Computer programming #Computer-aided software engineering #thesis #doctoral |
| Tipo |
Thesis |
