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 2, April 2003: pp. 313-314

Refinement in Z and object-Z: Foundations and Advanced Applications

Reviewed by R. Banach1

1University of Manchester

Refinement in Z and object-Z: Foundations and Advanced Applications John Derrick and Eerke Boiten: Refinement in Z and object-Z: Foundations and Advanced Applications. Springer-Verlag, 2001. £49.50 1-85233-245-X.

Table of Contents   Full-Text PDF (15 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