Fundamental approaches to software engineering : 16th international conference, FASE 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : annual European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7793. Advanced Research in Computing and Software Science)

Fundamental approaches to software engineering : 16th international conference, FASE 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : annual European joint conference on theory and practice of software : Mar 2013, Rome, Italy.

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

Call No. (NDL): M17-13-2120
Bibliographic ID of National Diet Library: 024394416

Material type: 図書

Author: FASE 2013 (2013 : Rome, Italy)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xix, 376 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

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: 9783642370571 (e-ISBN)
9783642370564
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Fundamental approaches to software engineering : 16th international conference, FASE 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : annual European joint conference on theory and practice of software : Mar 2013, Rome, Italy.
Series Title: Lecture Notes in Computer Science ; 7793. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 7793.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: FASE 2013 (2013 : Rome, Italy)
Cortellessa, Vittorio.
Varró, Dániel.
'Sapienza' University of Rome. Dept. of Computer Science.
ETAPS (Conference) (16th : 2013 : Rome, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xix, 376 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: Software engineering--Congresses.
LCC: QA76.758
DDC: 005.1
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
"ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...)" -- foreword.
"This year it comprised six sister conferences (CC, ESOP, FASE, FOSSACS, POST, TACAS), (...) and eight invited lectures (...)" -- foreword.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-2120
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024394416
http://id.ndl.go.jp/bib/024394416
OCLC No.: 839351230
https://www.worldcat.org/oclc/839351230
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215