Logics and models of concurrent systems / (Αριθ. εγγραφής 80378)

Στοιχεία MARC
000 -LEADER
fixed length control field 01278cam a2200265 a 4500
001 - CONTROL NUMBER
control field 4750300
003 - CONTROL NUMBER IDENTIFIER
control field GR-PaULI
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210117203643.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 850411s1985 gw a 100 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387151818
Qualifying information (U.S.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency
Language of cataloging gre
Description conventions AACR2
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.35
Edition number 23
111 ## - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element NATO Advanced Study Institute on Logics and Models of Concurrent Systems
Date of meeting (1984 :
Location of meeting La Colle-sur-Loup, France)
9 (RLIN) 165176
245 10 - TITLE STATEMENT
Title Logics and models of concurrent systems /
Statement of responsibility, etc. edited by Krzysztof R. Apt.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. c1985.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 498 σ. :
Other physical details εικ. ;
Dimensions 25 εκ.
490 1# - SERIES STATEMENT
Series statement NATO ASI series. Series F, Computer and system sciences ;
Volume/sequential designation 13.
500 ## - GENERAL NOTE
General note "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
9 (RLIN) 4430
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Apt, Krzysztof R.,
Dates associated with a name 1949-
9 (RLIN) 165177
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element North Atlantic Treaty Organization.
Subordinate unit Scientific Affairs Division
9 (RLIN) 535
830 ## - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title NATO ASI series.
Number of part/section of a work Series F,
Name of part/section of a work Computer and systems sciences
Volume number/sequential designation 13.
9 (RLIN) 163532
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book [Not For Loan]
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's initials, CIN (RLIN) ΜΠΟΥΡΑΣ
First Date, FD (RLIN) 2017-10
Αντίτυπα
Lost status Home library Current library Shelving location Inventory number Total Checkouts Full call number Barcode Koha item type
  ΒΚΠ - Πατρα ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο 073211   Π/Σ 004.35 NAT 025000100337 Book [Not For Loan]
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud