Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54

Name: Concurrency Verification Introduction to Compositional and Noncompositional Methods 54 Cambridge Tracts in Theoretical Computer Science Series Number 54
Brand: Cambridge University Press
SKU: 9780521169325
Price: 81.86 GBP
Availability: InStock

Product form

A Paperback by Frank de Boer, Frank de Boer, Ulrich Hanneman

£81.86

Includes FREE delivery

Order before 4pm tomorrow for delivery by Fri 30 Oct 2026.

15 in stock

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

Book details

Publisher Cambridge University Press

Published 26 January 2012

ISBN-13 9780521169325
978-0521169325

Also in:
Mathematical theory of computation