Buy Used and New JobZwiers Books

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: 9780521806084

Format: Hardcover (800 pages)
Publisher: Cambridge University Press
Published: 26 Nov 2001

Save for later

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