Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)

Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France.

(Lecture Notes in Computer Science ; 8446)

Call No. (NDL): M17-15-1285
Bibliographic ID of National Diet Library: 026158235

Material type: 図書

Author: Workshop on Coalgebraic Methods in Computer Science (12th : 2014 : Grenoble, France)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: x, 244 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers."Starting in 2004, CMCS has become a biennial workshops, ..."--Preface.

Other physical details：: illustrations

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: 3662441233 (print)
9783662441237 (print)
ISBN (error code): 9783662441244 (electronic bk.)
3662441241 (electronic bk.)
ISSN (series): 0302-9743
Title: Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 8446
Title Heading: Lecture notes in computer science ; 8446.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: Workshop on Coalgebraic Methods in Computer Science (12th : 2014 : Grenoble, France)
Bonsangue, Marcello M.
Leiden University. Faculty of Science. Leiden Institute for Advanced Computer Science.
Publication, Distribution, etc.: Heidelberg : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: x, 244 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer science--Mathematics--Congresses.
Computer software--Mathematics--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
"Starting in 2004, CMCS has become a biennial workshops, ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1285
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026158235
http://id.ndl.go.jp/bib/026158235
OCLC No.: 894833824
https://www.worldcat.org/oclc/894833824
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215