MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Program of Study: Computer Science
×
Subject: Computer programming
×
Collection
Sort
Alphabetically
By count
Electronic Theses & Dissertations
5
Material Type
Sort
Alphabetically
By count
Theses
5
Language
Sort
Alphabetically
By count
English
5
Copyright Status
Sort
Alphabetically
By count
In Copyright
5
Subject
Sort
Alphabetically
By count
Automatic programming (Computer science)
1
C (Computer program language)
1
Computer programming--Quality control
1
Computer programs
1
Computer programs--Testing
1
Computer software--Reliability
1
Electronic data processing
1
Electronic data processing--Distributed processing
1
Fault-tolerant computing
2
Generators (Computer programs)
1
Parallel processing (Electronic computers)
1
Real-time data processing
1
Research
1
Sequential machine theory
1
Testing
1
Year
TO
Apply
Search results
Showing 1 to 5 of 5 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Structural realizations of program schemata
Miles, John Gilman, 1938-
Text (1971)
Part of
Electronic Theses & Dissertations
An automatic verification condition generator for the language C
Arbanas, Jennifer Marie
Text (1987)
Part of
Electronic Theses & Dissertations
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
Multiprocessing using programs structures
Lamie, Edward L.
Text (1974)
Part of
Electronic Theses & Dissertations
Automated revision of distributed and real-time programs
Bonakdarpour, Borzoo
Text (2009)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last