Phillip J. Windley

No bio available. Add one in Open Library.

Books by Phillip J. Windley (50 max)

+ shelf+ list

Digital Identity

2005

Phillip J. Windley

+ shelf+ list

Formal proof of the AVM-1 microprocessor using the concept of generic interpreters

1991

Phillip J. Windley

+ shelf+ list

Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

1995

Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis

+ shelf+ list

The formal verification of generic interpreters

1991

Phillip J. Windley

+ shelf+ list

The Live Web : Building Event-Based Connections in the Cloud

2011

Phillip J. Windley

+ shelf+ list

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

2014

E. Thomas Schubert, Phillip J. Windley, James Alves-Foss