CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.

(Lecture notes in computer science)

Call No. (NDL): M15-A7513
Bibliographic ID of National Diet Library: 000003197178

Material type: 図書

Author: Baeten, J. C. M.ほか

Publisher: Springer-Verlag

Publication date: c1990.

Material Format: Paper

Capacity, size, etc.: vii, 536 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CO...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540530487 (Springer-Verlag Berlin Heidelberg New York)
0387530487 (Springer-Verlag New York Berlin Heidelberg)
Title: CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.
Series Title: Lecture notes in computer science
Author Heading: Baeten, J. C. M.
Klop, J. W.
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Universiteit van Amsterdam.
European Strategic Programme of Research and Development in Information Technology.
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1990.
Publication Date (W3CDTF): 1990
Extent: vii, 536 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Machine theory -- Congresses.
Parallel processing (Electronic computers) -- Congresses.
LCC: QA267
DDC: 511.3
NDLC: M15
M154
Note (General): "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref.
Note (Bibliography): Includes bibliographies and index.
Holding library: 国立国会図書館
Call No.: M15-A7513
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003197178
http://id.ndl.go.jp/bib/000003197178
LC Control Number: 90010306
https://lccn.loc.gov/90010306
Bibliographic Record Category (NDL): 211