Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54
£69.17
Includes FREE deliveryOrder before 4pm today for delivery by Wed 8 Jul 2026.
A Paperback by Frank de Boer, Frank de Boer, Ulrich Hanneman
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54 by Frank de Boer
Publisher: Cambridge University Press
Publication Date: 26/01/2012
ISBN13: 9780521169325, 978-0521169325
ISBN10:
Also in:
Mathematical theory of computation
Mathematical theory of computation