Home > Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
Book Informaton
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Topics
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)