Browse editions

Current edition

Refinement in Z and Object-Z: Foundations and Advanced Applications by Eerke A. Boiten, John Derrick

Refinement in Z and Object-Z: Foundations and Advanced Applications
Eerke A. Boiten, John Derrick

492 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced

nonfiction computer science mathematics medium-paced

Refinement in Z and Object-Z: Foundations and Advanced Applications by Eerke A. Boiten, John Derrick

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

Eerke A. Boiten, John Derrick

492 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced

nonfiction computer science mathematics medium-paced

Other editions (1)

Refinement in Z and Object-Z: Foundations and Advanced Applications by Eerke A. Boiten, John Derrick

Refinement in Z and Object-Z: Foundations and Advanced Applications
Eerke A. Boiten, John Derrick

492 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced

nonfiction computer science mathematics medium-paced

Refinement in Z and Object-Z: Foundations and Advanced Applications by Eerke A. Boiten, John Derrick

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

Eerke A. Boiten, John Derrick

492 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced

nonfiction computer science mathematics medium-paced

More...