An edition of Data refinement
(1998)
Data Refinement
Model-Oriented Proof Methods and Their Comparison
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
|
aaaa
|
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
|
zzzz
|
4
Data refinement: model-oriented proof methods and their comparison
1998, Cambridge University Press
in English
0521641705 9780521641708
|
cccc
|
Community Reviews (0)
Feedback?
History
- Created October 4, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 4, 2021 | Created by ImportBot | Imported from Better World Books record |