Spelling suggestions: "subject:"1software"" "subject:"5oftware""
871 |
Modelling processes with constraintsGreenwood, Robert Mark January 1994 (has links)
No description available.
|
872 |
Exploring the barriers to formal specificationSnook, Colin Frank January 2001 (has links)
No description available.
|
873 |
Geometric algorithms and data structures for CAD/CAMTor, S. B. January 1985 (has links)
No description available.
|
874 |
Theory of X-machines with applications in specification and testingIpate, Florentin Eugen January 1995 (has links)
No description available.
|
875 |
A teleological perspective of software and its application to large scale reuse and maintenanceKarakostas, Vassileios January 1990 (has links)
No description available.
|
876 |
The application of a formal development method to a parallel machine environmentJones, K. D. January 1985 (has links)
No description available.
|
877 |
An investigation into computer assisted program and system designDavies, C. G. January 1987 (has links)
No description available.
|
878 |
Performance evaluation of systems of concurrent evaluationIkekeonwu, G. A. M. January 1982 (has links)
No description available.
|
879 |
Monitoring distributed OCCAM programsWest, A. J. January 1987 (has links)
No description available.
|
880 |
A comparative analysis of the three main approaches to simulation and their application to manufacturing modellingEkere, N. N. January 1987 (has links)
No description available.
|
Page generated in 0.3516 seconds