Bibliographic Details
| Title: |
Refinement in Z and object‐Z: Foundations and Advanced Applications. |
| Authors: |
Boiten, Eerke1 |
| Source: |
Journal of Logic & Computation. Apr2003, Vol. 13 Issue 2, p313-314. 2p. |
| Subjects: |
Refinement in Z & Object-Z: Foundations & Advanced Applications (Book), Boiten, Eerke, Derrick, John, Mathematics education, Nonfiction |
| Abstract: |
The article reviews the book "Refinement in Z and object-Z: Foundations and Advanced Applications," by John Derrick and Eerke Boiten. |
| Database: |
Engineering Source |
