Eerke A. Boiten

1 book

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