An edition of Data refinement
(1998)
Data Refinement
Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
by W.-P. de Roever, Willem-Paul de Roever, and Kai Engelhardt
- 1 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
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)| Edition | Availability |
|---|---|
1
Data Refinement: Model-Oriented Proof Methods and Their Comparison
2011, Cambridge University Press
in English
0511836503 9780511836503
|
zzzz
|
|
2
Data Refinement: Model-Oriented Proof Methods and Their Comparison
2010, Cambridge University Press
in English
0511663072 9780511663079
|
zzzz
|
3
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
January 15, 2001, Cambridge University Press
Hardcover
in English
0521641705 9780521641708
|
aaaa
|
4
Data refinement: model-oriented proof methods and their comparison
1998, Cambridge University Press
in English
0521641705 9780521641708
|
cccc
|
Book Details
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."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 31, 2019 | Edited by MARC Bot | associate edition with work OL1905859W |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |