MARC details
000 -LEADER |
fixed length control field |
01066 a2200325 4500 |
001 - CONTROL NUMBER |
control field |
386820 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20230401150546.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230401b |||||||| |||| 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:517.1 |
Item number |
Cha |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Chaudhari, Dipak Liladhar |
Relator term |
Author |
9 (RLIN) |
46128 |
245 ## - TITLE STATEMENT |
Title |
Derivation of imperative sequential programs from formal specifications (R) |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Bombay |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Name of publisher, distributor, etc. |
IIT |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Date of publication, distribution, etc. |
2017 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii,107 p. |
300 ## - PHYSICAL DESCRIPTION |
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 |
2017 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Damani, Om |
9 (RLIN) |
46129 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Theses and Dissertations |
9 (RLIN) |
21 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer programming |
9 (RLIN) |
139 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic |
9 (RLIN) |
4621 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Symbolic and mathematical |
9 (RLIN) |
46130 |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Automatic theorem proving |
9 (RLIN) |
4041 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Damani, Om |
Relator term |
Supervisor |
9 (RLIN) |
46131 |
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) |
Koha item type |
Reference Books |
Source of classification or shelving scheme |
|