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 |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
-- | 2012-09-27 |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
-- | 2012-09-27 |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
-- | 2012-09-27 |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
-- | 2013-09-30 |
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 | Purchase | 290.00 | 3 | 005.1 CHA | 000027448 | 11/06/2024 | NB - Book (Non borrowing) | ||||||||
Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 27/09/2012 | Purchase | 290.00 | 3 | 7 | 005.1 CHA | 000027449 | 11/06/2024 | Book - Borrowing | 81 | 19/10/2022 | |||||
Dewey Decimal Classification | Baccah | Central Library | Central Library | Lower Floor | 27/09/2012 | Purchase | 290.00 | 3 | 7 | 005.1 CHA | 000027450 | 11/06/2024 | 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 | Purchase | 6 | 005.1 CHA | 000029103 | 11/06/2024 | Book - Borrowing | 54 | 18/10/2021 |