
Refinement in Z and Object-Z
by John Derrick, Eerke A. Boiten
Z (Computer program language)Object-oriented programming (Computer science)
Writing a summary for young readers…
For young readers
Book data: Open Library

by John Derrick, Eerke A. Boiten
Book data: Open Library