Title: Data refinement
First published: 1998
Subjects: Computer simulation, Verification, Data structures (Computer science), Computer programs, Databases & data structures, Mathematical theory of computation, Science/Mathematics, Data Structures, Computers, Computers - General Information, Networking - General, Database Management - General, Data structures (Computer scie, Computer Science, System Theory, Computers / Programming / Software Development, Computer Bks - General Information, Software engineering, Data structures (computer science)
LC classification: QA76.9.C65 R64 1998