Concurrency, compositionality, and correctness : (Record no. 1475)

000 -LEADER
fixed length control field 01573cam a2200349Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190425121718.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100909s2010 gw a ob 011 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642115128
Cancelled/invalid ISBN 9783642115110
041 ## - Language
Language code of text/sound track or separate title eng
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76
Item number .C663 2010eb
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.350151135
Edition number 22
Item number C744
245 00 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Concurrency, compositionality, and correctness :
Remainder of title essays in honor of Willem-Paul De Roever /
Statement of responsibility, etc Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2010.
300 ## - PHYSICAL DESCRIPTION
Extent x, 375 p. :
Other physical details ill.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title LNCS sublibrary. SL 1, Theoretical computer science and general is
9 (RLIN) 13753
9 (RLIN) 5927
Title Lecture notes in computer science ;
Name of part/section of a work festschrift ;
Volume number/sequential designation v. 5930
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
Bibliography, etc Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Roever, W.-P. de,
Dates associated with a name 1943-
9 (RLIN) 13754
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
9 (RLIN) 13220
Topical term or geographic name as entry element Parallel programming (Computer science)
9 (RLIN) 11799
Topical term or geographic name as entry element Computer programs
General subdivision Correctness.
9 (RLIN) 13755
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Dams, Dennis.
9 (RLIN) 13756
Personal name Hannemann, Ulrich.
9 (RLIN) 13757
Personal name Steffen, Martin.
9 (RLIN) 13758
773 0# - HOST ITEM ENTRY
Title SpringerLink
Record control number (OCoLC)43927870.
Title OhioLINK electronic book center (Online)
Record control number (OCoLC)180989150.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Title Concurrency, compositionality, and correctness.
Place, publisher, and date of publication Berlin ; New York : Springer, c2010
International Standard Book Number 9783642115110
Record control number (DLC) 2009943840
-- (OCoLC)495780885.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://rave.ohiolink.edu/ebooks/ebc/9783642115127
Public note Connect to resource
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Barcode Damaged status Lost status Shelving location Withdrawn status Current location Full call number
2013-01-30AUM Main Library2013-01-30 2013-01-30 BookAUM-003623  English Collections Hall AUM Main Library004.350151135 C744