Formal Software Development : (Record no. 17035)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00758pam a2200229 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 010344527 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20130930135615.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 030417s2004 enka || 001 0|eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0333992814 (pbk.) : |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 22 |
| Item number | CHA |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Charatan, Quentin. |
| 9 (RLIN) | 30996 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Software Development : |
| Remainder of title | from VDM to Java / |
| Statement of responsibility, etc | Quentin Charatan and Aaron Kans. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Basingstoke : |
| Name of publisher, distributor, etc | Palgrave Macmillan, |
| Date of publication, distribution, etc | 2004. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xi, 239 p. : |
| Other physical details | ill. ; |
| Dimensions | 25 cm. |
| 500 ## - GENERAL NOTE | |
| General note | Includes index. |
| 500 ## - GENERAL NOTE | |
| General note | Formerly CIP. |
| Institution to which field applies | Uk |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer software |
| General subdivision | Development. |
| 9 (RLIN) | 30997 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science) |
| 9 (RLIN) | 29211 |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Resource For college | |
| Arrived date list | September2012 |
| -- | September2013 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kans, Aaron. |
| 9 (RLIN) | 30998 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Item type | Book - Borrowing |
| Withdrawn status | Item status | Source of classification or shelving scheme | Damaged status | Not for loan | Vendor | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Serial Enumeration / chronology | Total Checkouts | Full call number | Barcode | Date last seen | Koha item type | Total Renewals | Date last borrowed | Cost, replacement price |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 27/09/2012 | 290.00 | 3 | 005.1 CHA | 000027448 | 15/07/2025 | NB - Book (Non borrowing) | |||||||||
| Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 27/09/2012 | 290.00 | 3 | 7 | 005.1 CHA | 000027449 | 15/07/2025 | Book - Borrowing | 81 | 19/10/2022 | ||||||
| Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 27/09/2012 | 290.00 | 3 | 7 | 005.1 CHA | 000027450 | 15/07/2025 | Book - Borrowing | 74 | 12/12/2023 | ||||||
| Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 30/09/2013 | 500.00 | 3 | 005.1 CHA | 000029102 | 28/05/2019 | Book - Borrowing | 44 | 09/10/2018 | 625.00 | ||||||
| Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 30/09/2013 | 6 | 005.1 CHA | 000029103 | 15/07/2025 | Book - Borrowing | 54 | 18/10/2021 |