Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn. (Lecture notes in computer science ; 70)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn.

(Lecture notes in computer science ; 70)

Call No. (NDL): M159-100
Bibliographic ID of National Diet Library: 000006229055

Material type: 図書

Author: International Symposium on Semantics of Concurrent Computation (1979 : Évian-les-Bains, France)ほか

Publisher: Springer-Verlag

Publication date: 1979.

Material Format: Paper

Capacity, size, etc.: 368 p. : ill. ; 25 cm.

NDC: -

View All

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: 038709511X
Title: Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn.
Series Title: Lecture notes in computer science ; 70
Author Heading: International Symposium on Semantics of Concurrent Computation (1979 : Évian-les-Bains, France)
Kahn G.
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1979.
Publication Date (W3CDTF): 1979
Extent: 368 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Parallel processing (Electronic computers) -- Congresses.
Programming languages (Electronic computers) -- Semantics -- Congresses.
LCC: QA76.6
DDC: 001.6/4
NDLC: M159
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M159-100
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006229055
http://id.ndl.go.jp/bib/000006229055
LC Control Number: 79015956
https://lccn.loc.gov/79015956
Bibliographic Record Category (NDL): 211