Refinement in Z and object‐Z: Foundations and Advanced Applications.
Saved in:
| 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 |
Be the first to leave a comment!
