Windley, Phillip J., 1958-....
Windley, Phillip J.
VIAF ID: 28781627 ( Personal )
Permalink: http://viaf.org/viaf/28781627
Preferred Forms
- 100 1 _ ‡a Windley, Phillip J. (sparse)
-
-
-
- 100 1 _ ‡a Windley, Phillip J. ‡d 1958-
- 100 1 _ ‡a Windley, Phillip J. ‡d 1958-
- 100 1 _ ‡a Windley, Phillip J. ‡d 1958-
- 100 1 _ ‡a Windley, Phillip J., ‡d 1958-
-
-
- 100 1 _ ‡a Windley, Phillip J., ‡d 1958-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Digital identity | |
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings | |
The formal verification of generic interpreters, 1990: | |
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings | |
LinkedIn page, April 6, 2023 | |
The live web : building event-based connections in the cloud | |
(The) live web, (Course Technology) |