Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 (Record no. 19066)

000 -LEADER
fixed length control field 00662nam a2200181 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s1990 000 0
245 ## - TITLE STATEMENT
Title Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990
Sub Title proceedings
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Guessarian, I Ed.,
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Springer-Verlag
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 1990
300 ## - PHYSICAL DESCRIPTION
Number of Pages 456
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science ; 00469
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 3540534792
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Parallel processing (Electronic computers)
-- Programming languages (Electronic computers)
-- Semantics.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681 LNCS
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library Second floor, Rack No: 48, Shelf No: 12 681 LNCS 50955 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha