Skip to main content
PBS logo
 
 

Search - List of Books by Job Zwiers

Total Books: 2
Concurrency verification introduction to compositional and noncompositional methods
2001 - Concurrency Verification Introduction to Compositional and Noncompositional Methods (Hardcover)
ISBN-13: 9780521806084
ISBN-10: 0521806089
Genres: Computers & Technology, Reference
  ?
Compositionality Concurrency and Partial Correctness Proof Theories for Networks of Processes and Their Relationship
1989 - Compositionality Concurrency and Partial Correctness Proof Theories for Networks of Processes and Their Relationship [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9783540508458
ISBN-10: 3540508457
  ?

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.