MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Subject: Computer programming
×
Collection
Electronic Theses & Dissertations
4
Material Type
Theses
4
Language
English
4
Copyright Status
In Copyright
4
Subject
Algorithms
1
Automatic programming (Computer science)
1
C (Computer program language)
1
Computer programming--Quality control
1
Computer programs--Testing
1
Computer software--Reliability
1
Fault-tolerant computing
1
Generators (Computer programs)
1
Research
1
Sequential machine theory
1
Testing
1
Year
TO
Apply
Search results for
Trees
Showing 1 to 4 of 4 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
On the computational complexity of certain L-relation operators
Caron, Robert Henry, 1946-
Text (1973)
Part of
Electronic Theses & Dissertations
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
