Theoretical aspects of computer software : 3rd International symposium : Sep 1997, Sendai, Japan. (Lecture Notes in Computer Science ; 1281)

Theoretical aspects of computer software : 3rd International symposium : Sep 1997, Sendai, Japan.

(Lecture Notes in Computer Science ; 1281)

Notes on use

Note (General)：: Papers.Also known as TACS '97.Index term: computer software ; TACS ; IPSJ....

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

Material Type: 図書
ISBN: 354063388X (pbk)
ISSN: 0302-9743
Title: Theoretical aspects of computer software : 3rd International symposium : Sep 1997, Sendai, Japan.
Series Title: Lecture Notes in Computer Science ; 1281
Author Heading: Tohoku University.
Information Processing Society of Japan.
Japan Society for Software Science and Technology.
Association for Computing Machinery (ACM) . Special Interest Group on Algorithms and Computation Theory (SIGACT)
Association for Symbolic Logic.
Publication, Distribution, etc.: Berlin : Springer-Verlag
Publication Date: 1997.
Publication Date (W3CDTF): 1997
Extent: v.
Alternative Title: Also known as TACS '97
computer software ; TACS ; IPSJ
NDLC: M17
M159
Note (General): Papers.
Also known as TACS '97.
Index term: computer software ; TACS ; IPSJ.
BL shelfmark: 5180.185 1281 1997.
Holding library: 国立国会図書館
Call No.: M17-00-0183
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003509981
http://id.ndl.go.jp/bib/000003509981
UKMARC No.: G05390711
Bibliographic Record Category (NDL): 215