Skip to main content
PBS logo
 
 

Search - List of Books by Howard Barringer

Total Books: 2
Advances in Temporal Logic
1999 - Advances in Temporal Logic [APPLIED LOGIC SERIES Volume 16] (Hardcover)
ISBN-13: 9780792361497
ISBN-10: 0792361490
Genre: Computers & Technology
  ?
A Survey of Verification Techniques for Parallel Programs
1985 - A Survey of Verification Techniques for Parallel Programs [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9783540152392
ISBN-10: 3540152393
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.