Data refinement
by W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt · 1998
Popularity 1
No description available.
Computer simulationVerificationData structures (Computer science)Computer programsDatabases & data structuresMathematical theory of computationScience/MathematicsData StructuresComputersComputers - General InformationNetworking - GeneralDatabase Management - General