Hardcover Book Paperback Book
显示无货商品

Howard Barringer的作品

Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)

1st Ed. Softcover of Orig. Ed. 2000 edition

Advances in Temporal Logic - App... (2010)

Howard Barringer

Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Hardcover Book) (1999)

Advances in Temporal Logic - App... (1999)

Howard Barringer

Cover for Howard Barringer · A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science (Paperback Book) (1985)

A Survey of Verification Techniq... (1985)

Howard Barringer