Michigan State University Home
  • MSU Libraries
  • Digital Repository
  • Home
  • About
  • Collections
Selected filters
  • Subject: Computer programming
    ×
  • Electronic Theses & Dissertations
    4
  • Theses
    4
  • English
    4
  • In Copyright
    4
  • 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

Search results for Trees

Showing 1 to 4 of 4 results
  • Structural realizations of program schemata

    Miles, John Gilman, 1938-
    Text (1971)
    Part of Electronic Theses & Dissertations
    In Copyright
  • An automatic verification condition generator for the language C

    Arbanas, Jennifer Marie
    Text (1987)
    Part of Electronic Theses & Dissertations
    In Copyright
  • On the computational complexity of certain L-relation operators

    Caron, Robert Henry, 1946-
    Text (1973)
    Part of Electronic Theses & Dissertations
    In Copyright
  • Towards automated model revision for fault-tolerant systems

    Abujarad, Fuad
    Text (2010)
    Part of Electronic Theses & Dissertations
    In Copyright
  • First
  • 1(current)
  • Last
  • Call MSU: (517) 355-1855
  • Visit: msu.edu
  • Notice of Nondiscrimination
  • SPARTANS WILL.
  • © Michigan State University
Michigan State University Wordmark