Data refinement

Data refinement1998

W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt

Details

First published: 1998
OL Work ID: OL1905859W

Subjects

Computer simulationVerificationData structures (Computer science)Computer programsDatabases & data structuresMathematical theory of computationScience/MathematicsData StructuresComputersComputers - General InformationNetworking - GeneralDatabase Management - GeneralData structures (Computer scieComputer ScienceSystem TheoryComputers / Programming / Software DevelopmentComputer Bks - General InformationSoftware engineering

Find this book

Open Library