Concurrency : (Record no. 942)

MARC details
000 -LEADER
fixed length control field 01549nam a22002537a 4500
003 - CONTROL NUMBER IDENTIFIER
control field LSCPL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226193413.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130626t2006 enkill.g |||| 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0470093552 (hbk)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470093559 (hbk)
040 ## - CATALOGING SOURCE
Transcribing agency NCL
Modifying agency LIN2019
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.275
Item number MAG-C 2006 1261
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Magee, Jeff
9 (RLIN) 1895
245 1# - TITLE STATEMENT
Title Concurrency :
Remainder of title state models & java programming /
Statement of responsibility, etc. by Jeff Magee and Jeff Kramer
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Chichester,
Name of publisher, distributor, etc. John Wiley & sons,
Date of publication, distribution, etc. 2006c.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 407p. :
Other physical details ill. ;
Dimensions 25cm.
500 ## - GENERAL NOTE
General note Index included
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Chapter 1: Introduction -------------------<br/>Chapter 2: Processes and threads -------------------<br/>Chapter 3: Concurrent execution --------------------<br/>Chapter 4: Shared objects and mutual exclusion -------------------<br/>Chapter 5: Monitors and condition synchronization ---------------------<br/>Chapter 6: Deadlock ------------------<br/>Chapter 7: Safety and liveness properties --------------------<br/>Chapter 8: Model based design --------------------<br/>Chapter 9: Dynamic systems -------------------<br/>Chapter 10: Message passing -------------------<br/>Chapter 11: Concurrent architectures ----------------------<br/>Chapter 12: Timed system -------------------<br/>Chapter 13: Program verification ---------------------<br/>Chapter 14: Logical properties --------------------<br/>
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel programming (computer languages)
9 (RLIN) 1897
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element "CDS"
General subdivision Concurrent and distribute systems----CM-0518D
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kramer, Jeff
9 (RLIN) 1896
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Reference
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Copy number Price effective from Koha item type Source of acquisition Cost, normal purchase price Inventory number
          Namal Library Namal Library Computer Science 06/26/2013 1 2 005.275 MAG-C 2006 1261 1261 05/06/2015 03/30/2015 1 07/18/2013 Books      
          Namal Library Namal Library Computer Science 03/06/2014 3 2 005.275 MAG-C 2006 5215 0005215 11/22/2016 02/26/2016 c.2 03/06/2014 Books old book    
          Namal Library Namal Library Computer Science 03/21/2016 1   005.275 MAG-C 2006 9076 0009076 05/09/2016 05/05/2016   03/21/2016 Books Allied Book Company LHR 8780.50 5536-INS
          Namal Library Namal Library Computer Science 03/21/2016 1   005.275 MAG-C 2006 9031 0009031 05/09/2016 05/06/2016   03/21/2016 Books Allied Book Company LHR 8780.50 5536-INS