Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3441)

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK.

(Lecture Notes in Computer Science ; 3441)

Call No. (NDL): M17-06-959
Bibliographic ID of National Diet Library: 000008157137

Material type: 図書

Author: University of Edinburgh. School of Informatics.ほか

Publisher: Springer

Publication date: c2005.

Material Format: Paper

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

NDC: -

View All

Notes on use

Note (General)：: Papers."ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conferen...

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: 3540253882
ISSN (series): 0302-9743
Title: Foundations of software science and computation structures : 8th international conference, FOSSACS 2005 : held as part of the joint European conferences on theory and practice of software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings. : Apr 2005, Edinburgh, UK.
Series Title: Lecture Notes in Computer Science ; 3441
Author Heading: University of Edinburgh. School of Informatics.
Sassone, Vladimiro.
FOSSACS 2005 (2005 : Edinburgh, Scotland)
ETAPS 2005 (2005 : Edinburgh, Scotland)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2005.
Publication Date (W3CDTF): 2005
Extent: xiii, 519 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software -- Congresses.
System analysis -- Congresses.
LCC: QA76.751
NDLC: M17
Note (General): Papers.
"ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in (...) " -- foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-06-959
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008157137
http://id.ndl.go.jp/bib/000008157137
RLIN No.: PAUGV3916063-B
Bibliographic Record Category (NDL): 215