It looks like you're offline.

Last edited by ImportBot

September 19, 2008 | History

Edit

Phillip J. Windley

We need a photo of Phillip J. Windley

6 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Digital Identity

by Phillip J. Windley First published in 2005
3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

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

by Phillip J. Windley First published in 1991
2 editions

Locate

My Reading Lists:

Create a new list
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)

by Phillip J. Windley, James Alves-Foss, Gerhard Goos, and Juris Hartmanis First published in 1995
2 editions

Locate

My Reading Lists:

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

by E. Thomas Schubert, Phillip J. Windley, and James Alves-Foss First published in 2014
1 edition

Locate

My Reading Lists:

Create a new list
The Live Web: Building Event-Based Connections in the Cloud

by Phillip J. Windley First published in 2011
1 edition

Locate

My Reading Lists:

Create a new list
The formal verification of generic interpreters

by Phillip J. Windley First published in 1991
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Phillip J. Windley

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL4861443A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON