Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 13, Issue 4, June 2003: pp. 625-627

grp
Book Reviews

Reviewed by R. Banach


University of Manchester

Review of Concurrency Verification: Introduction to Compositional and Non-compositional Methods edited by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers, ed. Review of Concurrency Verification: Introduction to Compositional and Non-compositional Methods. . Cambridge University Press, 2001. . 798 pp. pp. £80. ISBN 0521806089..

Table of Contents   Full-Text PDF (20 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement