MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Collection: Electronic Theses & Dissertations
×
Collection: Electronic Theses & Dissertations
×
Copyright Status: In Copyright
×
Language: English
×
Subject: Programming languages (Electronic computers)
×
Material Type
Theses
4
Subject
Computer programs--Verification
1
Computer software--Quality control
1
Computer software--Testing
1
Distributed operating systems (Computers)
1
Electronic data processing--Distributed processing
1
Natural language processing (Computer science)
1
Programming languages (Electronic computers)--Syntax
1
System design
1
Search results
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
Temporal specification systems for distributed systems
McUmber, William E.
Text (1993)
Part of
Electronic Theses & Dissertations
Extended simple precedence
Greenberg, Lewis Harvey, 1942-
Text (1970)
Part of
Electronic Theses & Dissertations
A LL grammar analyzer
Motteler, Zane C.
Text (1981)
Part of
Electronic Theses & Dissertations
Formalization and verification of property specification patterns
Bryndin, Dmitriy
Text (2010)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last