Buy Used and New UlrichHanneman Books

Results for UlrichHanneman

Showing 1 to 1 of 1 results
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers


ISBN 13: 9780521169325

Format: Paperback (800 pages)
Publisher: Cambridge University Press
Published: 27 Oct 2011

Save for later

 
New : $86.69  
New : $86.69