Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia.

(Lecture Notes in Computer Science ; 5947)

Call No. (NDL): M17-10-2796
Bibliographic ID of National Diet Library: 000010868967

Material type: 図書

Author: Pnueli, A.ほか

Publisher: Springer

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: xiii, 426 p. : ill. ; 24 cm.

NDC: -

Notes on use

Note (General)：: Abstracts and revised papers.

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: 3642114857
9783642114854 (ISBN-13)
ISSN (series): 0302-9743
Title: Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia.
Series Title: Lecture Notes in Computer Science ; 5947
Title Heading: Lecture notes in computer science ; 5947.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Author Heading: Pnueli, A.
Virbitskaite, Irina.
Voronkov, A. (Andreĭ) , 1959-
International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: xiii, 426 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer science -- Congresses.
Computer programming -- Congresses.
Systems engineering -- Congresses.
Programmierung.
Softwareentwicklung.
Systementwicklung.
Theoretische Informatik.
Kongress.
Nowosibirsk (2009)
DDC: 005.1
NDLC: M17
Note (General): Abstracts and revised papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-2796
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010868967
http://id.ndl.go.jp/bib/000010868967
LC Control Number: 2009943004
https://lccn.loc.gov/2009943004
OCLC No.: 613415048
https://www.worldcat.org/oclc/613415048
Bibliographic Record Category (NDL): 215