Search Results - Miller, Steven P.
- Showing 1 - 9 results of 9
-
1
Formal methods case studies for DO-333 / by Cofer, Darren, Miller, Steven P.
Published 2014Call Number: Loading…Online Access
Located: Loading…
Government Document eBook -
2
The age of evangelicalism : America's born-again years / by Miller, Steven P. (Steven Patrick), 1977-
Published 2014Call Number: Loading…Full Text (via Internet Archive)
Located: Loading…
eBook -
3
The age of evangelicalism : America's born-again years / by Miller, Steven P. (Steven Patrick), 1977-
Published 2014Call Number: Loading…
Located: Loading…Book Loading… -
4
Billy Graham and the rise of the Republican south / by Miller, Steven P. (Steven Patrick), 1977-
Published 2009Call Number: Loading…
Located: Loading…Book Loading… -
5
The age of evangelicalism : America's born-again years / by Miller, Steven P. (Steven Patrick), 1977-
Published 2014Call Number: Loading…Full Text (via Oxford Scholarship Online)
Located: Loading…
eBook -
6
Billy Graham and the rise of the Republican South / by Miller, Steven P. (Steven Patrick), 1977-
Published 2009Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
7
Billy Graham and the rise of the Republican South by Miller, Steven P. (Steven Patrick), 1977-
Published 2009Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
Electronic eBook -
8
A methodology for the design and verification of globally asynchronous/locally synchronous architectures
Published 2005Other Authors: “…Miller, Steven P.…”
Call Number: Loading…Online Access
Located: Loading…
Online Access
Government Document Electronic eBook -
9
Formal verification of the AAMP-FV microcode
Published 1999Other Authors: “…Miller, Steven P. (Steven Paul)…”
Call Number: Loading…Click here to view report onine
Located: Loading…
Government Document Microfilm Book
Search Tools:
RSS Feed
–
Save Search
Related Subjects
History
Church history
Civil rights
Evangelicalism
Influence
Race relations
Religious life and customs
Social conditions
Influence (Literary, artistic, etc.)
Air traffic control
Architecture (Computers)
Avionics
Complex systems
Computer programming
Computer programs
Computers
Formal methods, Microcode verification, Theorem proving
Microprocessors
Microprogramming
Program verification (Computers)
Program verification (computers)
Proving
Software engineering
Synchronism
Theorem proving