Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54
£202.50
Includes FREE deliveryRRP £225.00 – you save £22.50 (10%)
Order before 4pm today for delivery by Wed 8 Jul 2026.
A Hardback by Willem-Paul de Roever, 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 Willem-Paul de Roever
Publisher: Cambridge University Press
Publication Date: 26/11/2001
ISBN13: 9780521806084, 978-0521806084
ISBN10:
Also in:
Mathematical theory of computation
Mathematical theory of computation