Data refinement : model-oriented proof methods and their comparison (Record no. 25668)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00821nam a22002417a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20221101153733.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 221101b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780511663079 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Roever, Willem-Paul de |
| Relator term | Author |
| 245 ## - TITLE STATEMENT | |
| Title | Data refinement : model-oriented proof methods and their comparison |
| Statement of responsibility, etc | by Willem-Paul de Roever and Kai Engelhardt |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc | Cambridge university press |
| Date of publication, distribution, etc | 2010 |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Cambridge tracts in theoretical computer science; no. 47 |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Algorithmics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Complexity |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Algebra |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computational Geometry |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming Languages and Applied Logic |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Engelhardt, Kai |
| Relator term | Author |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1017/CBO9780511663079">https://doi.org/10.1017/CBO9780511663079</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | E-book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Central University Of Rajasthan | Central University Of Rajasthan | 01/11/2022 | EB3323 | 01/11/2022 | 01/11/2022 | E-book |