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
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...