North South University Library OPACZ : (Record no. 21052)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | nam a22 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | BD-DhNSU-21052 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-DhNSU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190403064842.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 190403s1994 enka|||g |||| 001 0|eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0471939730 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Transcribing agency | DLC |
| Modifying agency | BD-DhNSU |
| 041 ## - LANGUAGE CODE | |
| Language code of text | eng |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.73 |
| Item number | .Z2D55 1994 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Diller, Antoni |
| 245 00 - TITLE STATEMENT | |
| Title | Z : |
| Remainder of title | an introduction to formal methods / |
| Statement of responsibility, etc. | Antoni Diller |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Chichester : |
| Name of publisher, distributor, etc. | John Wiley, |
| Date of publication, distribution, etc. | c1994. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xix, 374 p. : |
| Other physical details | ill. ; |
| Dimensions | 25 cm. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer program language |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal methods |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| 999 ## - SYSTEM CONTROL NUMBERS (KOHA) | |
| -- | 21052 |
| -- | 21052 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | lcc |
| Koha item type | BK |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection Code | Permanent Location | Current Location | Date acquired | Source of acquisition (Supplier) | Currency | Price | Bill Code | Call Number | Barcode (Accession #) | Copy number | Converted Price ( Tk. ) | Item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| lcc | Non-fiction | North South University Library | North South University Library | 2011-04-18 | Karim International | ৳ (BDT) | 9750.00 | KI/NSU/L-85/11 | QA76.73.Z2D55 1994 | 33498 | 1 | 0.00 | Books | ||||
| lcc | Non-fiction | North South University Library | North South University Library | 2011-04-18 | Karim International | ৳ (BDT) | 9750.00 | KI/NSU/L-85/11 | QA76.73.Z2D55 1994 | 33499 | 2 | 0.00 | Books | ||||
| lcc | Non-fiction | North South University Library | North South University Library | 2011-04-18 | Karim International | ৳ (BDT) | 9750.00 | KI/NSU/L-85/11 | QA76.73.Z2D55 1994 | 33500 | 3 | 0.00 | Books | ||||
| lcc | Non-fiction | North South University Library | North South University Library | 2011-04-18 | Karim International | ৳ (BDT) | 9750.00 | KI/NSU/L-85/11 | QA76.73.Z2D55 1994 | 33501 | 4 | 0.00 | Books | ||||
| lcc | Non-fiction | North South University Library | North South University Library | 2011-04-18 | Karim International | ৳ (BDT) | 9750.00 | KI/NSU/L-85/11 | QA76.73.Z2D55 1994 | 33502 | 5 | 0.00 | Books |