- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 861 to 870 of 21236 (0.031 seconds)Spelling suggestions: "subject:"1software"" "subject:"5oftware""
| 861 |
Formal methods and interactive systems : Principles and practiceDix, A. J. January 1987 (has links)
No description available.
|
| 862 |
An extended data flow diagram notation for specification of real-time systemsNejad-Sattary, Mohammad January 1990 (has links)
No description available.
|
| 863 |
Towards a satisfaction relation between CCS specifications and their refinementsBaillie, Elizabeth Jean January 1992 (has links)
No description available.
|
| 864 |
The analysis of natural language requirements documentsPresland, S. G. January 1986 (has links)
No description available.
|
| 865 |
An effective approach for testing program branches and linear code sequences and jumpsMalevris, N. January 1988 (has links)
No description available.
|
| 866 |
Visual construction of algebraic specificationsNeary, Duncan S. January 2002 (has links)
No description available.
|
| 867 |
Logic programming tools and techniques for imperative program verificationO'Neill, I. M. January 1987 (has links)
No description available.
|
| 868 |
The validation and verification of low-level codeClutterbuck, D. L. January 1986 (has links)
No description available.
|
| 869 |
Patterns of interaction with a hypermedia system : a study of authors and usersHutchings, Gerard Anthony January 1993 (has links)
No description available.
|
| 870 |
System modelling and systematic testingFu, Xiaoying January 1995 (has links)
No description available.
|
Page generated in 0.2128 seconds