Theoretical Aspects of Computing – ICTAC 2005 (Q5395093)
From MaRDI portal
scientific article; zbMATH DE number 5070183
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theoretical Aspects of Computing – ICTAC 2005 |
scientific article; zbMATH DE number 5070183 |
Statements
Theoretical Aspects of Computing – ICTAC 2005 (English)
0 references
1 November 2006
0 references
Components
0 references
Interfaces
0 references
Contracts
0 references
Protocols
0 references
Functionality
0 references
Consistency
0 references
Composition
0 references
Refinement
0 references
Simulation
0 references
