Yazar
phillip j windley
6 cilt bulundu.
Cilt sonuçları
The Live Web
Phillip J. Windley · Cengage Learning PTR
416 sayfa · 2011
Cloud computing / Web services / Web servers
Higher order logic theorem proving and its applications
Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis · Springer-Verlag
400 sayfa · 1995
Congresses / Symbolic and mathematical Logic / Automatic theorem proving / Logic, symbolic and mathematical
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Phillip J. Windley · National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 1991
Interpreters (Computer programs) / Validation / Microprocessors / Computer programs
The formal verification of generic interpreters
Phillip J. Windley · National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program
Sayfa sayısı yok · 1991
Validation / Flight control / Computer programs