Data refinement
by W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt
Computer simulationVerificationData structures (Computer science)Computer programsDatabases & data structuresMathematical theory of computationScience/MathematicsData Structures
Writing a summary for young readers…
For young readers
Book data: Open Library