Jump to main content

図書

Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.

Icons representing 図書

Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.

Call No. (NDL)
M17-91-0708
Bibliographic ID of National Diet Library
000003481934
Material type
図書
Author
British Computer Society. Special Interest Group in the Formal Aspects of Computing Science.ほか
Publisher
Springer-Verlag
Publication date
1990.
Material Format
Paper
Capacity, size, etc.
v.
NDC
-
View All

Notes on use

Note (General)：

Papers.(Workshops in Computing)Index term: semantics ; BCS ; concurrency....

Search by Bookstore

Search by Bookstore

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
3540196250 (pbk)
0387196250 (U.S.)
Title
Semantics for concurrency : International workshop : Jul 1990, Leicester, UK.
Author Heading
British Computer Society. Special Interest Group in the Formal Aspects of Computing Science.
Science and Engineering Research Council.
Publication, Distribution, etc.
Berlin : Springer-Verlag
Publication Date
1990.
Publication Date (W3CDTF)
1990
Extent
v.
Alternative Title
(Workshops in Computing)
semantics ; BCS ; concurrency
NDLC
M17
M151