Howard Barringer的作品

Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)
Paperback Book
1st Ed. Softcover of Orig. Ed. 2000 edition
Advances in Temporal Logic - App...
Howard Barringer
Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Hardcover Book) (1999)
Hardcover Book
Advances in Temporal Logic - App...
Howard Barringer
Cover for Howard Barringer · A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science (Paperback Book) (1985)
Paperback Book
1985 edition
A Survey of Verification Techniq...
Howard Barringer