Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France.

(Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-14-2139
Bibliographic ID of National Diet Library: 025388736

Material type: 図書

Author: FOSSACS 2014 (2014 : Grenoble, France)ほか

Publisher: Springer

Publication date: c2014.

Material Format: Paper

Capacity, size, etc.: xv, 456 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers."ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS...

Other physical details：: ill.

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: 9783642548291
9783642548307 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France.
Series Title: Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 8412.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: FOSSACS 2014 (2014 : Grenoble, France)
Muscholl, Anca.
Universite Joseph Fourier de Grenoble (UJFG)
ETAPS 2014 (2014 : Grenoble, France)
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2014.
Publication Date (W3CDTF): 2014
Extent: xv, 456 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: ETAPS : European joint conferences on theory & practice of software.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer software--Congresses.
Software engineering--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Selected papers.
"ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-2139
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025388736
http://id.ndl.go.jp/bib/025388736
OCLC No.: 882072523
https://www.worldcat.org/oclc/882072523
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215