Innbunden bok Pocketbok
Vis utilgjengelige 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 · Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2010 edition] (2010)

Runtime Verification: First Inte... (2010)

Howard Barringer

Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Innbunden 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