MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02305nam a2200409Ki 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn840416975 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240726105330.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130422s1996 enka ob 000 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NT |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
NT |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781848161023 |
| Qualifying information |
|
| 050 04 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76 |
| Item number |
.C667 1996 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
NTA |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Coordination programming |
| Remainder of title |
mechanisms, models, and semantics / |
| Statement of responsibility, etc. |
editors J.-M. Andreoli, C. Hankin, D. Le Métayer. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
London : |
| Name of publisher, distributor, etc. |
Imperial College Press ; |
| Date of publication, distribution, etc. |
1996. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
River Edge, NJ : |
| Name of publisher, distributor, etc. |
Distributed by World Scientific, |
| Date of publication, distribution, etc. |
(c)1996. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 387 pages) : |
| Other physical details |
illustrations. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
data file |
| Source |
rda |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Gamma and the Chemical Reaction Model: Ten Years After / |
| Statement of responsibility |
Jean-Pierre Banatre and Daniel Le Metayer -- |
| Title |
Coordination in LO / |
| Statement of responsibility |
Jean-Marc Andreoli -- |
| Title |
Truth and Action Osmosis (The TAO Computation Model) / |
| Statement of responsibility |
Antonio Porto and Vasco T. Vasconcelos -- |
| Title |
Type Inference and Subtyping for Higher-Order Generative Communication / |
| Statement of responsibility |
Laurent Dami -- |
| Title |
Temporal Semantics for Gamma / |
| Statement of responsibility |
Mark Reynolds -- |
| Title |
A Program Logic for Gamma / |
| Statement of responsibility |
Simon J. Gay and Chris L. Hankin -- |
| Title |
Schedules for Multiset Transformer Programs / |
| Statement of responsibility |
Michel Chaudron and Edwin de Jong -- |
| Title |
Composed Reduction Systems / |
| Statement of responsibility |
David Sands -- |
| Title |
An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs / |
| Statement of responsibility |
Paola Ciancarini, Roberto Gorrieri and Gianluigi Zavattaro |
| 530 ## - COPYRIGHT INFORMATION: |
|---|
| COPYRIGHT INFORMATION |
COPYRIGHT NOT covered - Click this link to request copyright permission: |
| Uniform Resource Identifier |
<a href="b">b</a> |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming languages (Electronic computers) |
| General subdivision |
Semantics. |
| 655 #1 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic Books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Andreoli, J.-M. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hankin, Chris. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Le Métayer, D. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Fuller form of name |
(Jean-Marc) |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Fuller form of name |
(Daniel) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519144&site=eds-live&custid=s3260518">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=519144&site=eds-live&custid=s3260518</a> |
| -- |
Click to access digital title | log in using your CIU ID number and my.ciu.edu password |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD) |
| DONATED BY: |
|
| VENDOR |
EBSCO |
| Classification part |
QA. |
| PUBLICATION YEAR |
c1996 |
| LOCATION |
ONLINE |
| REQUESTED BY: |
|
| -- |
|
| -- |
NFIC |
| Source of classification or shelving scheme |
|
| 994 ## - |
|---|
| -- |
02 |
| -- |
NT |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
|---|
| a |
1 |
| b |
Cynthia Snell |
| c |
1 |
| d |
Cynthia Snell |