Scaling up property checking (R) (Record no. 276855)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01027nam a22002897a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230401124542.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200109b xxu||||| |||| 00| 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | IITB |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 043:681.3.06 |
| Item number | Shr |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Shrawankumar |
| Relator term | Author |
| 9 (RLIN) | 8727 |
| 245 ## - TITLE STATEMENT | |
| Title | Scaling up property checking (R) |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bombay |
| Name of publisher, distributor, etc. | IIT |
| Date of publication, distribution, etc. | 2019 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xviii,164 p. |
| Dimensions | 30 cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis |
| Degree type | Ph.D. |
| Name of granting institution | Indian Institute of Technology Bombay. Department of Computer Science and Engineering |
| Year degree granted | 2019 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Theses and Dissertations |
| 9 (RLIN) | 21 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programming |
| 9 (RLIN) | 139 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer programs |
| General subdivision | Verification |
| 9 (RLIN) | 14179 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer algorithms |
| 9 (RLIN) | 1730 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Verification(Logic) |
| 9 (RLIN) | 14180 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Compilers(Computer programs) |
| 9 (RLIN) | 14181 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sanyal, Amitabha |
| Relator term | Supervisor |
| 9 (RLIN) | 13573 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Khedker, Uday |
| Relator term | Supervisor |
| 9 (RLIN) | 13574 |
| 710 ## - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Indian Institute of Technology Bombay. |
| Subordinate unit | Department of Computer Science and Engineering |
| 9 (RLIN) | 140 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Theses and Dissertations |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Central Library, IITB | Central Library, IITB | Pamphlet Section (Theses, Standards, Reports) | 09/01/2020 | 043:681.3.06 Shr | 246656 | 09/01/2020 | 09/01/2020 | Theses and Dissertations |