Data Refinement
Subtitle: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: January 15, 2001
Language: eng
Format: Hardcover
Number of pages: 435
ISBN-13: 9780521641708
Subjects: Databases & data structures; Mathematical theory of computation; Science/Mathematics; Data Structures; Verification; Computers; Computers - General Information; Networking - General; Database Management - General; Data structures (Computer scie; Computer Science; System Theory; Computers / Programming / Software Development; Computer Simulation; Computer programs; Computer Bks - General Information; Data structures (Computer science)
First sentence: During the process of stepwise, hierarchical program development, a step represents a transformation of a so-called abstract higher level result into a more concrete lower level one.