Automata theory : (Record no. 3720)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01480cam a22003858i 4500 |
001 - CONTROL NUMBER | |
control field | 22847203 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20241022125345.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 221031s2023 enk b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
LC control number | 2022052126 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780262048637 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780262376938 |
Qualifying information | (epub) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780262376945 |
Qualifying information | (adobe pdf) |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | Foundation University |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | Foundation University |
042 ## - AUTHENTICATION CODE | |
Authentication code | pcc |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA267 |
Item number | .E87 2023 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13/1 |
Edition number | 23/eng20230711 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Esparza, Javier, |
Relator term | author. |
9 (RLIN) | 8562 |
245 10 - TITLE STATEMENT | |
Title | Automata theory : |
Remainder of title | an algorithmic approach / |
Statement of responsibility, etc. | Javier Esparza and Michael Blondin. |
263 ## - PROJECTED PUBLICATION DATE | |
Projected publication date | 2309 |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge : |
Name of producer, publisher, distributor, manufacturer | The MIT Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2023. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | pages cm |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | unmediated |
Media type code | n |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | volume |
Carrier type code | nc |
Source | rdacarrier |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references and index. |
520 ## - ABSTRACT, SUMMARY, ETC. | |
Abstract, Summary, etc. | "The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- |
Assigning source | Provided by publisher. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Machine theory. |
9 (RLIN) | 8563 |
658 ## - INDEX TERM--CURRICULUM OBJECTIVE | |
Main curriculum objective | College of Computer Science |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Blondin, Michael, |
Relator term | author. |
9 (RLIN) | 8564 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Online version: |
Main entry heading | Esparza, Javier. |
Title | Automata theory |
Place, publisher, and date of publication | Cambridge : The MIT Press, 2023 |
International Standard Book Number | 9780262376938 |
Record control number | (DLC) 2022052127 |
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
a | 7 |
b | cbc |
c | orignew |
d | 1 |
e | ecip |
f | 20 |
g | y-gencatlg |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Library of Congress Classification |
Koha item type | Books |
Suppress in OPAC | No |
No items available.