Inbunden Bok Pocketbok
Visa slutsålda utgivelser

Releases med Howard Barringer

Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Pocketbok) [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 (Inbunden Bok) (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 (Pocketbok) (1985)

A Survey of Verification Techniq... (1985)

Howard Barringer