MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01688cam a22003014i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
12277200 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20190718115134.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
010112s2001 nyu b 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0387952063 (alk. paper) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
DLC |
| Modifying agency |
DLC |
| Description conventions |
rda |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.434 |
| Edition number |
21 |
| Item number |
M.J.A |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Misra, Jayadev, |
| 9 (RLIN) |
904 |
| Relator term |
author. |
| 245 12 - TITLE STATEMENT |
|---|
| Title |
A discipline of multiprogramming : |
| Remainder of title |
programming theory for distributed applications / |
| Statement of responsibility, etc |
Jayadev Misra. |
| 264 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York : |
| Name of publisher, distributor, etc |
Springer, |
| Date of publication, distribution, etc |
2001. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xviii, 420 pages. ; |
| Dimensions |
25 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Source |
rdacontent |
| Content type term |
text |
| 337 ## - MEDIA TYPE |
|---|
| Source |
rdamedia |
| Media type term |
unmediated |
| 338 ## - CARRIER TYPE |
|---|
| Source |
rdacarrier |
| Carrier type term |
volume |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Monographs in computer science |
| 9 (RLIN) |
905 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (p. [397]-409) and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. A discipline of multiprogramming.- 2. Action systems.- 3. An object-oriented view of action systems.- 4. Small examples.- 5. Safety properties.- 6. Progress properties.- 7. Maximality properties.- 8. Asynchronous compositions of programs.- 9. Conditional, closure properties.- 10. Reduction theorem.- 11. Distributed implementation.- 12. Logic of Seuss programs.- 13. Epilog. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Multiprogramming (Electronic computers) |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Publisher description |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy0816/2001018392-d.html">http://www.loc.gov/catdir/enhancements/fy0816/2001018392-d.html</a> |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents only |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy0816/2001018392-t.html">http://www.loc.gov/catdir/enhancements/fy0816/2001018392-t.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| b |
vip |
| c |
orignew |
| d |
1 |
| e |
ocip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |